Search results for "realizable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Chirayu S. Amin, Masud H. Chowdhury, Yehea I. Ismail	Realizable RLCK circuit crunching.	DAC	2003	DBLP DOI BibTeX RDF	crunching, simulation, interconnect, passive, realizable, model order reduction
48	Ákos Hajnal, István Forgács	A Precise Demand-Driven Def-Use Chaining Algorithm.	CSMR	2002	DBLP DOI BibTeX RDF	demand-driven algorithm, interprocedural du chain analysis, realizable du chain, data flow analysis
41	Maria Belk	Realizability of Graphs in Three Dimensions.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
40	Matti Kääriäinen	Active Learning in the Non-realizable Case.	ALT	2006	DBLP DOI BibTeX RDF
40	Janet Meiling Wang, Prashant Saxena, Omar Hafiz, Xing Wang	Realizable parasitic reduction for distributed interconnects using matrix pencil technique.	ASP-DAC	2004	DBLP DOI BibTeX RDF
38	Mohammad Saleh Tavazoei	Passively realizable approximations of non-realizable fractional order impedance functions.	J. Frankl. Inst.	2020	DBLP DOI BibTeX RDF
38	Daniil Ryabko	Sequence prediction in realizable and non-realizable cases	CoRR	2010	DBLP BibTeX RDF
38	Daniil Ryabko	Sequence Prediction in Realizable and Non-realizable Cases.	COLT	2010	DBLP BibTeX RDF
31	Kevin M. Lillis, Sriram V. Pemmaraju	On the Efficiency of a Local Iterative Algorithm to Compute Delaunay Realizations.	WEA	2008	DBLP DOI BibTeX RDF
31	Maria Belk, Robert Connelly	Realizability of Graphs.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
31	Mangala Gowri Nanda, S. Ramesh 0001	Interprocedural slicing of multithreaded programs with applications to Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	interference dependence, strongly connected regions, Multithreading, program slicing, data dependence, context-sensitivity
31	Anthony Man-Cho So, Yinyu Ye 0001	A semidefinite programming approach to tensegrity theory and realizability of graphs.	SODA	2006	DBLP DOI BibTeX RDF
31	Elzbieta Roszkowska	Supervisory control for deadlock avoidance in compound processes.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
31	Alexey V. Chernov, Dmitrij P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin	Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle.	CSL	2002	DBLP DOI BibTeX RDF	superintuitionistic logics, Kolmogorov complexity, realizability
31	Sriram C. Krishnan, Anuj Puri, Robert K. Brayton	Deterministic w Automata vis-a-vis Deterministic Buchi Automata.	ISAAC	1994	DBLP DOI BibTeX RDF
31	János Pach, Richard Pollack, Emo Welzl	Weaving Patterns of Lines and Segments in Space.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF
31	Peter K. Rathmann	The Cost of Locking.	ICDT	1986	DBLP DOI BibTeX RDF
30	Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov	Games and the Impossibility of Realizable Ideal Functionality.	TCC	2006	DBLP DOI BibTeX RDF
30	Chirayu S. Amin, Masud H. Chowdhury, Yehea I. Ismail	Realizable reduction of interconnect circuits including self and mutual inductances.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
30	Rong Jiang 0002, Charlie Chung-Ping Chen	Realizable Reduction for Electromagnetically Coupled RLMC Interconnects.	DATE	2004	DBLP DOI BibTeX RDF
30	Masud H. Chowdhury, Chirayu S. Amin, Yehea I. Ismail, Chandramouli V. Kashyap, Byron Krauter	Realizable reduction of RLC circuits using node elimination.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
30	Zhanhai Qin, Chung-Kuan Cheng	Realizable parasitic reduction using generalized Y-Delta transformation.	DAC	2003	DBLP DOI BibTeX RDF	Y-?, parasitic reduction, transformation, model order reduction
30	Geoff Stoker, Brian S. White, Ellen Stackpole, T. J. Highley, Marty Humphrey	Toward Realizable Restricted Delegation in Computational Grids.	HPCN	2001	DBLP DOI BibTeX RDF
30	Anirudh Devgan, Peter R. O'Brien	Realizable reduction for RC interconnect circuits.	ICCAD	1999	DBLP DOI BibTeX RDF
30	Bernard N. Sheehan	TICER: realizable reduction of extracted RC circuits.	ICCAD	1999	DBLP DOI BibTeX RDF
27	Oswin Aichholzer, Franz Aurenhammer, Hannes Krasser	Enumerating Order Types for Small Point Sets with Applications.	Order	2002	DBLP DOI BibTeX RDF	planar straight-line graphs, realizable matroids, computational geometry, order types
27	Thomas W. Reps, Genevieve Rosay	Precise Interprocedural Chopping.	SIGSOFT FSE	1995	DBLP DOI BibTeX RDF	graph reachability, program chopping, realizable path, debugging, program slicing, interprocedural analysis, program dependence graph
27	Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay	Speeding up Slicing.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	dynamic transitive closure, flow-sensitive summary information, realizable path, dynamic programming, program slicing, program debugging, program dependence graph
27	Edward A. Bender, Jon T. Butler	On the Size of PLA's Required to Realize Binary and Multiple-Valued Functions.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	product terms, nonzero output values, PLA size, realizable functions, lower bounds, logic design, upper bounds, variance, switching functions, logic arrays, minimisation of switching nets, multiple-valued functions
21	Niket Agarwal, Li-Shiuan Peh, Niraj K. Jha	In-network coherence filtering: snoopy coherence without broadcasts.	MICRO	2009	DBLP DOI BibTeX RDF
21	Imène Kadi, Nihal Pekergin, Jean-Marc Vincent	Different Monotonicity Definitions in Stochastic Modelling.	ASMTA	2009	DBLP DOI BibTeX RDF
21	Jin-yi Cai, Pinyan Lu	Signature Theory in Holographic Algorithms.	ISAAC	2008	DBLP DOI BibTeX RDF
21	Sungwoo Park, Jinha Kim, Hyeonseung Im	Functional netlists.	ICFP	2008	DBLP DOI BibTeX RDF	linear type system, functional language, hardware description language
21	Mikhail Moshkov, Andrzej Skowron, Zbigniew Suraj	On Irreducible Descriptive Sets of Attributes for Information Systems.	RSCTC	2008	DBLP DOI BibTeX RDF	maximal consistent extensions, irreducible descriptive sets, rough sets, information systems
21	Fotis N. Koumboulis, George E. Panagiotakis	Triangular Decoupling with simultaneous Disturbance Rejection for general linear time delay systems via measurement output feedback.	ETFA	2008	DBLP DOI BibTeX RDF
21	Fedor V. Fomin, Jan Kratochvíl, Daniel Lokshtanov, Federico Mancini 0001, Jan Arne Telle	On the Complexity of Reconstructing H -free Graphs from Their Star Systems.	LATIN	2008	DBLP DOI BibTeX RDF
21	Abdolmajid Mousavi, Behrouz H. Far	Revisiting Safe Realizability of Message Sequence Charts Specifications.	ICECCS	2008	DBLP DOI BibTeX RDF
21	Christine A. Kelley, Deepak Sridhara	Pseudocodewords of Tanner Graphs.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
21	Corey Goldfeder, Peter K. Allen, Claire Lackner, Raphael Pelossof	Grasp Planning via Decomposition Trees.	ICRA	2007	DBLP DOI BibTeX RDF
21	Jan Kyncl	The Complexity of Several Realizability Problems for Abstract Topological Graphs.	GD	2007	DBLP DOI BibTeX RDF
21	Masaya Takahashi, Takahiro Watanabe, Takeshi Yoshimura	Construction of an (r11, r12, r22)-Tournament from a Score Sequence Pair.	ISCAS	2007	DBLP DOI BibTeX RDF
21	Saayan Mitra, Samik Basu 0001, Ratnesh Kumar 0001	Local and On-the-fly Choreography-based Web Service Composition.	Web Intelligence	2007	DBLP DOI BibTeX RDF
21	Charles J. Alpert, Jiang Hu, Sachin S. Sapatnekar, Cliff C. N. Sze	Accurate estimation of global buffer delay within a floorplan.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
21	Jyotishman Pathak, Samik Basu 0001, Robyn R. Lutz, Vasant G. Honavar	MoSCoE: A Framework for Modeling Web Service Composition and Execution.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
21	Sergio Cabello, Herman J. Haverkort, Marc J. van Kreveld, Bettina Speckmann	Algorithmic Aspects of Proportional Symbol Maps.	ESA	2006	DBLP DOI BibTeX RDF
21	Pascal Lieshout, Michel Mandjes, Sem C. Borst	GPS scheduling: selection of optimal weights and comparison with strict priorities.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF	Gaussian traffic, admissible region, weight setting, priority scheduling, loss probabilities, generalized processor sharing
21	Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger	Markov Decision Processes with Multiple Objectives.	STACS	2006	DBLP DOI BibTeX RDF
21	Fotis N. Koumboulis, George E. Panagiotakis	Disturbance Rejection of General Linear Neutral Time Delay Systems, via Measurement Output Feedback.	ETFA	2006	DBLP DOI BibTeX RDF
21	Masaya Takahashi, Takahiro Watanabe, Takeshi Yoshimura	Realizability of Score Sequence Pair of an (r1l, r12, r22)-Tournament.	APCCAS	2006	DBLP DOI BibTeX RDF
21	Andrei Asinowski, Meir Katchalski	Forbidden Families of Geometric Permutations in Rd.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
21	Yunnan Wu, Qian Zhang 0001, Wenwu Zhu 0001, Sun-Yuan Kung	Bounding the power rate function of wireless ad hoc networks.	INFOCOM	2005	DBLP DOI BibTeX RDF
21	David J. Hathaway	Dealing with the spatio-temporal interactions among transient power, supply noise and timing.	SLIP	2005	DBLP DOI BibTeX RDF
21	Matti Kääriäinen	Generalization Error Bounds Using Unlabeled Data.	COLT	2005	DBLP DOI BibTeX RDF
21	Fotis N. Koumboulis, George E. Panagiotakis	Exact model matching and disturbance rejection for general linear time delay systems via measurement output feedback.	ETFA	2005	DBLP DOI BibTeX RDF
21	Daniel A. Menascé, Vasudeva Akula	Improving the Performance of Online Auction Sites through Closing Time Rescheduling.	QEST	2004	DBLP DOI BibTeX RDF
21	Gong-You Tang, Bao-Lin Zhang 0001, Hui Ma	Feedforward and feedback optimal control for linear discrete systems with persistent disturbances.	ICARCV	2004	DBLP DOI BibTeX RDF
21	Charles J. Alpert, Jiang Hu, Sachin S. Sapatnekar, Cliff C. N. Sze	Accurate estimation of global buffer delay within a floorplan.	ICCAD	2004	DBLP DOI BibTeX RDF
21	Noriaki Yoshiura	Decision Procedures for Several Properties of Reactive System Specifications.	ISSS	2003	DBLP DOI BibTeX RDF	Specification Description, Temporal Logic, Reactive System
21	Alexey Glebov, Sergey Gavrilov, David T. Blaauw, Vladimir Zolotov, Rajendran Panda, Chanhee Oh	False-Noise Analysis Using Resolution Method.	ISQED	2002	DBLP DOI BibTeX RDF
21	Graeme Smith 0001	Stepwise Development from Ideal Specifications.	ACSC	2000	DBLP DOI BibTeX RDF	formal specification, refinement, stepwise development
21	Katsuyuki Hagiwara, Kazuhiro Kuno, Shiro Usui	On the Problem in Model Selection of Neural Network Regression in Overrealizable Scenario.	IJCNN (6)	2000	DBLP DOI BibTeX RDF
21	Xiaohong Guan, Feng Gao 0015, Alva J. Svoboda	Energy Delivery Scheduling and Realizability in Deregulated Electric Energy Market.	HICSS	1999	DBLP DOI BibTeX RDF	Power generation scheduling, Electric utility industry deregulation, Electric energy bidding, Ramp-rate constraints, Optimal control
19	Micah P. Haack, Ronald P. Jenkins, Wending Mai, Galestan Mackertich-Sengerdy, Sawyer D. Campbell, Mario F. Pantoja, Douglas H. Werner	Physically Realizable Antenna Equivalent Circuit Generation.	IEEE Access	2024	DBLP DOI BibTeX RDF
19	Mingyang Liu, Chen Jiang, Boo Cheong Khoo, Huifen Zhu, Guangjun Gao	A cell-based smoothed finite element model for the analysis of turbulent flow using realizable k-ε model and mixed meshes.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
19	Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, Charles Chuan Zhang	Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions.	ACM Trans. Softw. Eng. Methodol.	2024	DBLP DOI BibTeX RDF
19	Max Hopkins, Daniel M. Kane, Shachar Lovett, Gaurav Mahajan	Realizable Learning is All You Need.	TheoretiCS	2024	DBLP DOI BibTeX RDF
19	Luyu Liu, Adam Porr, Harvey J. Miller	Realizable accessibility: evaluating the reliability of public transit accessibility using high-resolution real-time data.	J. Geogr. Syst.	2023	DBLP DOI BibTeX RDF
19	Helmut Nechansky	The dyadic utility space and the interaction - utility matrix: how individual goal-setting determines realizable utilities in dyadic relations.	Kybernetes	2023	DBLP DOI BibTeX RDF
19	Suleman Khan 0003, Gurjot Singh Gaba, An Braeken, Pardeep Kumar 0001, Andrei V. Gurtov	AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications.	Int. J. Crit. Infrastructure Prot.	2023	DBLP DOI BibTeX RDF
19	Limin Hao, Guoyong Shi	Realizable Reduction of Multi-Port RCL Networks by Block Elimination.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
19	Nawaf Nazir, Mads Almassalkhi	Guaranteeing a Physically Realizable Battery Dispatch Without Charge-Discharge Complementarity Constraints.	IEEE Trans. Smart Grid	2023	DBLP DOI BibTeX RDF
19	Byeongyeob Choi, Je-Hyun Baek, Donghyun You	A realizable second-order advection method with variable flux limiters for moment transport equations.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
19	Jean Fromentin, Pierre-Louis Giscard, Théo Karaboghossian	Realizable cycle structures in digraphs.	Eur. J. Comb.	2023	DBLP DOI BibTeX RDF
19	Hilal Asi, Vitaly Feldman, Tomer Koren, Kunal Talwar	Near-Optimal Algorithms for Private Online Optimization in the Realizable Regime.	CoRR	2023	DBLP DOI BibTeX RDF
19	Tristan Shah, Feruza Amirkulova, Stas Tiomkin	Taming Waves: A Physically-Interpretable Machine Learning Framework for Realizable Control of Wave Dynamics.	CoRR	2023	DBLP DOI BibTeX RDF
19	Idan Attias, Steve Hanneke, Alkis Kalavasis, Amin Karbasi, Grigoris Velegkas	Optimal Learners for Realizable Regression: PAC Learning and Online Learning.	CoRR	2023	DBLP DOI BibTeX RDF
19	Gellért Weisz, András György 0001, Csaba Szepesvári	Online RL in Linearly qπ-Realizable MDPs Is as Easy as in Linear MDPs If You Learn What to Ignore.	CoRR	2023	DBLP DOI BibTeX RDF
19	Zhanhao Hu, Wenda Chu, Xiaopei Zhu, Hui Zhang, Bo Zhang 0010, Xiaolin Hu 0001	Physically Realizable Natural-Looking Clothing Textures Evade Person Detectors via 3D Modeling.	CoRR	2023	DBLP DOI BibTeX RDF
19	Hassan Ali 0001, Muhammad Atif Butt, Fethi Filali, Ala I. Al-Fuqaha, Junaid Qadir 0001	Consistent Valid Physically-Realizable Adversarial Attack against Crowd-flow Prediction Models.	CoRR	2023	DBLP DOI BibTeX RDF
19	Hang Zhao, Zherong Pan, Yang Yu 0001, Kai Xu 0004	Learning Physically Realizable Skills for Online Packing of General 3D Shapes.	ACM Trans. Graph.	2023	DBLP DOI BibTeX RDF
19	Giulio Rossolini, Federico Nesti, Fabio Brau, Alessandro Biondi 0001, Giorgio C. Buttazzo	Defending from Physically-Realizable Adversarial Attacks through Internal Over-Activation Analysis.	AAAI	2023	DBLP DOI BibTeX RDF
19	Zhanhao Hu, Wenda Chu, Xiaopei Zhu, Hui Zhang, Bo Zhang 0010, Xiaolin Hu 0001	Physically Realizable Natural-Looking Clothing Textures Evade Person Detectors via 3D Modeling.	CVPR	2023	DBLP DOI BibTeX RDF
19	Idan Attias, Steve Hanneke, Alkis Kalavasis, Amin Karbasi, Grigoris Velegkas	Optimal Learners for Realizable Regression: PAC Learning and Online Learning.	NeurIPS	2023	DBLP BibTeX RDF
19	Gellért Weisz, András György 0001, Csaba Szepesvári	Online RL in Linearly qπ-Realizable MDPs Is as Easy as in Linear MDPs If You Learn What to Ignore.	NeurIPS	2023	DBLP BibTeX RDF
19	Bleema Rosenfeld, Sridhar Venkatesan, Rauf Izmailov, Matthew Yudin, Constantin Serban, Ritu Chadha	Data-Driven Constraint Mining for Realizable Adversarial Samples.	MILCOM	2023	DBLP DOI BibTeX RDF
19	Hilal Asi, Vitaly Feldman, Tomer Koren, Kunal Talwar	Near-Optimal Algorithms for Private Online Optimization in the Realizable Regime.	ICML	2023	DBLP BibTeX RDF
19	Thilina S. Ambagahawaththa, Dulika Nayanasiri, Ajith Pasqual	A Four-Step Method to Synthesize a DC-DC Converter for Multi-Inductor Realizable Arbitrary Voltage Conversion Ratio.	IEEE Trans. Ind. Electron.	2022	DBLP DOI BibTeX RDF
19	Osamu Kagaya, Keisuke Arai, Takato Watanabe, Takuji Arima, Toru Uno	Generation of Surface Wave in C-Band Automotive On-Glass Antenna and an Easily Realizable Suppression Method for Improving Antenna Characteristics.	IEICE Trans. Commun.	2022	DBLP DOI BibTeX RDF
19	Avishek Ghosh, Arya Mazumdar, Soumyabrata Pal, Rajat Sen	On Learning Mixture of Linear Regressions in the Non-Realizable Setting.	CoRR	2022	DBLP DOI BibTeX RDF
19	Hadar Frenkel, Sarai Sheinvald	Realizable and Context-Free Hyperlanguages.	GandALF	2022	DBLP DOI BibTeX RDF
19	Mohsen Heidari, Ananth Grama, Wojciech Szpankowski	Toward Physically Realizable Quantum Neural Networks.	CoRR	2022	DBLP DOI BibTeX RDF
19	Sanjay Saha, Terence Sim	Is Face Recognition Safe from Realizable Attacks?	CoRR	2022	DBLP DOI BibTeX RDF
19	Jieao Zhu, Yihuai Gao, Hansen Wang, Tiefu Li, Hao Wu	A Realizable GAS-based Quantum Algorithm for Traveling Salesman Problem.	CoRR	2022	DBLP DOI BibTeX RDF
19	Giulio Rossolini, Federico Nesti, Fabio Brau, Alessandro Biondi 0001, Giorgio C. Buttazzo	Defending From Physically-Realizable Adversarial Attacks Through Internal Over-Activation Analysis.	CoRR	2022	DBLP DOI BibTeX RDF
19	Gellért Weisz, András György 0001, Tadashi Kozuno, Csaba Szepesvári	Confident Approximate Policy Iteration for Efficient Local Planning in qπ-realizable MDPs.	CoRR	2022	DBLP DOI BibTeX RDF
19	Hamid Bostani, Zhuoran Liu 0001, Zhengyu Zhao 0001, Veelasha Moonsamy	Domain Constraints in Feature Space: Strengthening Robustness of Android Malware Detection against Realizable Adversarial Examples.	CoRR	2022	DBLP DOI BibTeX RDF
19	Hang Zhao, Zherong Pan, Yang Yu 0001, Kai Xu 0004	Learning Physically Realizable Skills for Online Packing of General 3D Shapes.	CoRR	2022	DBLP DOI BibTeX RDF
19	Wonchul Seo	A patent-based approach to identifying potential technology opportunities realizable from a firm's internal capabilities.	Comput. Ind. Eng.	2022	DBLP DOI BibTeX RDF
19	Graham W. Alldredge, Martin Frank, Jonas Kusch, Ryan G. McClarren	A realizable filtered intrusive polynomial moment method.	J. Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
19	Amotz Bar-Noy, Toni Böhnlein, David Peleg, Dror Rawitz	Vertex-Weighted Graphs: Realizable and Unrealizable Domains.	WALCOM	2022	DBLP DOI BibTeX RDF