Search results for "closure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev	Automated Reasoning About Metric and Topology.	JELIA	2006	DBLP DOI BibTeX RDF
13	Jill H. Y. Law, Evangeline F. Y. Young, Royce L. S. Ching	Block alignment in 3D floorplan using layered TCG.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	3D floorplanning, block alignment
13	Hossein M. Sheini, Karem A. Sakallah	Ario: A Linear Integer Arithmetic Logic Solver.	FMCAD	2006	DBLP DOI BibTeX RDF
13	K. A. Rajagopal, R. Sivakumar, N. V. Arvind, C. Sreeram, Vish Visvanathan, Shailendra Dhuri, Roopesh Chander, Patrick Fortner, Subra Sripada, Qiuyang Wu	A Comprehensive Solution for True Hierarchical Timing and Crosstalk Delay Signoff.	VLSI Design	2006	DBLP DOI BibTeX RDF
13	Siva Embanath, Ramakrishnan Venkata	Exceptional ASIC: Through Automatic Timing Exception Generation (ATEG).	VLSI Design	2006	DBLP DOI BibTeX RDF
13	Jehn-Ruey Jiang, Yu-Chee Tseng, Chih-Shun Hsu, Ten-Hwang Lai	Quorum-Based Asynchronous Power-Saving Protocols for IEEE 802.11 Ad Hoc Networks.	Mob. Networks Appl.	2005	DBLP DOI BibTeX RDF	distributed system, mobile ad hoc network (MANET), wireless communication, IEEE 802.11, power management, quorum system
13	Thierry Zell	Topology of Definable Hausdorff Limits.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
13	Bernhard Beckert, Kerry Trentelman	Second-Order Principles in Specification Languages for Object-Oriented Programs.	LPAR	2005	DBLP DOI BibTeX RDF
13	Charles J. Alpert, Gi-Joon Nam, Paul Villarribua, Mehmet Can Yildiz	Placement stability metrics.	ASP-DAC	2005	DBLP DOI BibTeX RDF
13	Luis Garmendia, Adela Salvador	Computing a Transitive Opening of a Reflexive and Symmetric Fuzzy Relation.	ECSQARU	2005	DBLP DOI BibTeX RDF
13	Shankar Krishnamoorthy	Insights and perspectives on physical synthesis.	ISPD	2005	DBLP DOI BibTeX RDF
13	Martin Allen	Complexity results for logics of local reasoning and inconsistent belief.	TARK	2005	DBLP BibTeX RDF
13	Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella	Widening Operators for Weakly-Relational Numeric Abstractions.	SAS	2005	DBLP DOI BibTeX RDF
13	Kamal Nehmé, Petko Valtchev, Mohamed Rouane Hacene, Robert Godin	On Computing the Minimal Generator Family for Concept Lattices and Icebergs.	ICFCA	2005	DBLP DOI BibTeX RDF
13	Anuradha Agarwal, Ranga Vemuri	Layout-Aware RF Circuit Synthesis Driven by Worst Case Parasitic Corners.	ICCD	2005	DBLP DOI BibTeX RDF
13	Gustavo Osorio, Pierre Boulanger, Flavio Prieto	An Experimental Comparison of a Hierarchical Range Image Segmentation Algorithm.	CRV	2005	DBLP DOI BibTeX RDF	Segmentation, Range Image, Bayesian Methods, Gradient Flow
13	Serkan Günel, F. Acar Savaci	Approximate stationary density of the nonlinear dynamical systems excited with white noise.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
13	Wei-Zhi Wu	A Study on Relationship Between Fuzzy Rough Approximation Operators and Fuzzy Topological Spaces.	FSKD (1)	2005	DBLP DOI BibTeX RDF
13	J. Howard Johnson	Collapsing epsilon-Loops in Weighted Finite-State Machines.	FSMNLP	2005	DBLP DOI BibTeX RDF
13	Bor-Yuh Evan Chang, K. Rustan M. Leino	Abstract Interpretation with Alien Expressions and Heap Structures.	VMCAI	2005	DBLP DOI BibTeX RDF
13	Kunal K. Dave, Vishwani D. Agrawal, Michael L. Bushnell	Using Contrapositive Law in an Implication Graph to Identify Logic Redundancies.	VLSI Design	2005	DBLP DOI BibTeX RDF
13	Hamid Reza Shahriari, Reza Sadoddin, Rasool Jalili, Reza Zakeri, Ali Reza Omidian	Network Vulnerability Analysis Through Vulnerability Take-Grant Model (VTG).	ICICS	2005	DBLP DOI BibTeX RDF
13	Lukui Shi, Pilian He	A Fast Fuzzy Clustering Algorithm for Large-Scale Datasets.	ADMA	2005	DBLP DOI BibTeX RDF
13	Hong-Ru Li, Wen-Xiu Zhang	Applying Indiscernibility Attribute Sets to Knowledge Reduction.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
13	Bruno Salvy	D-finiteness: algorithms and applications.	ISSAC	2005	DBLP DOI BibTeX RDF	creative telescoping, computer algebra, linear recurrences, elimination, linear differential equations
13	Charles J. Alpert, Gopal Gandham, Milos Hrkic, Jiang Hu, Stephen T. Quay, Cliff C. N. Sze	Porosity-aware buffered Steiner tree construction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
13	Robert Platt Jr. 0001, Andrew H. Fagg, Roderic A. Grupen	Manipulation Gaits: Sequences of Grasp Control Tasks.	ICRA	2004	DBLP DOI BibTeX RDF
13	Li Han	Hybrid Probabilistic RoadMap - Monte Carlo Motion Planning for Closed Chain Systems with Spherical Joints.	ICRA	2004	DBLP DOI BibTeX RDF
13	Minzhou Luo, Tao Mei 0003, Xiaohua Wang, Yong Yu 0003	Grasp Characteristics of an Underactuated Robot Hand.	ICRA	2004	DBLP DOI BibTeX RDF
13	Herman J. ter Horst	Extending the RDFS Entailment Lemma.	ISWC	2004	DBLP DOI BibTeX RDF
13	A. P. Niranjan, Paul C. Wiscombe	Islands of Synchronicity, a Design Methodology for SoC Design.	DATE	2004	DBLP DOI BibTeX RDF
13	Takeaki Uno, Tatsuya Asai, Yuzo Uchida, Hiroki Arimura	An Efficient Algorithm for Enumerating Closed Patterns in Transaction Databases.	Discovery Science	2004	DBLP DOI BibTeX RDF
13	Damien Massé	Abstract Domains for Property Checking Driven Analysis of Temporal Properties.	AMAST	2004	DBLP DOI BibTeX RDF
13	Stefan Wöhrle, Wolfgang Thomas	Model Checking Synchronized Products of Infinite Transition Systems.	LICS	2004	DBLP DOI BibTeX RDF
13	Michal Armoni, Judith Gal-Ezer	On the achievements of high school students studying computational models.	ITiCSE	2004	DBLP DOI BibTeX RDF	computer-related background, mathematics level, computational model, finite automata, turing machines, pushdown automata
13	Ting-Yuan Wang, Jeng-Liang Tsai, Charlie Chung-Ping Chen	Sensitivity guided net weighting for placement driven synthesis.	ISPD	2004	DBLP DOI BibTeX RDF	interconnect, sensitivity analysis, physical synthesis, timing driven placement, net weight
13	Haoxing Ren, David Zhigang Pan, David S. Kung 0001	Sensitivity guided net weighting for placement driven synthesis.	ISPD	2004	DBLP DOI BibTeX RDF	interconnect, sensitivity analysis, physical synthesis, timing driven placement, net weight
13	Hong Qi, Dayou Liu, Chengquan Hu, Ming Lu, Liang Zhao	A Parallel Algorithm Based on Search Space Partition for Generating Concepts.	ICPADS	2004	DBLP DOI BibTeX RDF
13	Bernard Boigelot, Axel Legay, Pierre Wolper	Omega-Regular Model Checking.	TACAS	2004	DBLP DOI BibTeX RDF
13	Bernd Koenemann	Test In the Era of "What You see Is NOT What You Get".	ITC	2004	DBLP DOI BibTeX RDF
13	David Richerby	Logical Characterizations of PSPACE.	CSL	2004	DBLP DOI BibTeX RDF	choice operators, partial fixed points, descriptive complexity, Finite model theory
13	Brian Marshall	Beyond P-Cell and Gate-Level: Accuracy Requirements for Simulation of Nanometer SoC Designs.	IWSOC	2004	DBLP DOI BibTeX RDF
13	Marcel Erné, Branimir Seselja, Andreja Tepavcevic	Posets Generated by Irreducible Elements.	Order	2003	DBLP DOI BibTeX RDF	(completely) irreducible, join-dense, completion, poset, complete lattice
13	Paul Smith 0003, Mubarak Shah, Niels da Vitoria Lobo	Determining driver visual attention with one camera.	IEEE Trans. Intell. Transp. Syst.	2003	DBLP DOI BibTeX RDF
13	Edward Omiecinski	Alternative Interest Measures for Mining Associations in Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	interest measures, Data mining, performance, databases, associations
13	Shyjan Mahamud, Lance R. Williams, Karvel K. Thornber, Kanglin Xu	Segmentation of Multiple Salient Closed Contours from Real Images.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	Markov chains, contours, eigenvectors, Perceptual organization
13	Jae-Sook Cheong, Herman J. Haverkort, A. Frank van der Stappen	On Computing All Immobilizing Grasps of a Simple Polygon with Few Contacts.	ISAAC	2003	DBLP DOI BibTeX RDF
13	Aaron Hunter 0001	Spectrum Hierarchies and Subdiagonal Functions.	LICS	2003	DBLP DOI BibTeX RDF
13	Markus Holzer 0001, Martin Kutrib	Flip-Pushdown Automata: k+1 Pushdown Reversals Are Better than k.	ICALP	2003	DBLP DOI BibTeX RDF
13	Jacek Chrzaszcz	Modules in Coq Are and Will Be Correct.	TYPES	2003	DBLP DOI BibTeX RDF
13	Charles J. Alpert, Gopal Gandham, Milos Hrkic, Jiang Hu, Stephen T. Quay	Porosity aware buffered steiner tree construction.	ISPD	2003	DBLP DOI BibTeX RDF	VLSI, interconnect, physical design, buffer insertion
13	Thierry Coquand	Dynamical Method in Algebra: A Survey.	TABLEAUX	2003	DBLP DOI BibTeX RDF
13	Michael Benedikt, Wenfei Fan, Gabriel M. Kuper	Structural Properties of XPath Fragments.	ICDT	2003	DBLP DOI BibTeX RDF
13	Roman Kolpakov	Classes of Binary Rational Distributions Closed under Discrete Transformations.	SAGA	2003	DBLP DOI BibTeX RDF	probabilistic transformations, Stochastic automata
13	Frédéric Blanqui	Rewriting Modulo in Deduction Modulo.	RTA	2003	DBLP DOI BibTeX RDF
13	Jehn-Ruey Jiang, Yu-Chee Tseng, Chih-Shun Hsu, Ten-Hwang Lai	Quorum-Based Asynchronous Power-Saving Protocols for IEEE 802.11 Ad Hoc Networks.	ICPP	2003	DBLP DOI BibTeX RDF
13	Paolo Baldan, Andrea Bracciali, Roberto Bruni	Bisimulation by Unification.	AMAST	2002	DBLP DOI BibTeX RDF
13	Ashish Tiwari 0001	Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time.	LICS	2002	DBLP DOI BibTeX RDF
13	Catalin Dima	Computing Reachability Relations in Timed Automata.	LICS	2002	DBLP DOI BibTeX RDF
13	Víctor Dalmau	Constraint Satisfaction Problems in Non-deterministic Logarithmic Space.	ICALP	2002	DBLP DOI BibTeX RDF
13	Oskar Mencer, Zhining Huang, Lorenz Huelsbergen	HAGAR: Efficient Multi-context Graph Processors.	FPL	2002	DBLP DOI BibTeX RDF
13	Masako Sato, Yasuhito Mukouchi, Mikiharu Terada	Refutable/Inductive Learning from Neighbor Examples and Its Application to Decision Trees over Patterns.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
13	Olivier Danvy, Ulrik Pagh Schultz	Lambda-Lifting in Quadratic Time.	FLOPS	2002	DBLP DOI BibTeX RDF
13	Neil Yorke-Smith, Carmen Gervet	On Constraint Problems with Incompleteor Erroneous Data.	CP	2002	DBLP DOI BibTeX RDF
13	Loïs Guiller, Frederic Neuveux, S. Duggirala, R. Chandramouli, Rohit Kapur	Integrating DFT in the Physical Synthesis Flow.	ITC	2002	DBLP DOI BibTeX RDF
13	Martine De Cock, Etienne E. Kerre	Fuzzy Topologies Induced by Fuzzy Relation Based Modifiers.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
13	Haruo Hosoya, Benjamin C. Pierce	Regular expression pattern matching for XML.	POPL	2001	DBLP DOI BibTeX RDF	XML
13	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Realizability and Verification of MSC Graphs.	ICALP	2001	DBLP DOI BibTeX RDF
13	Didier Caucal	On the Transition Graphs of Turing Machines.	MCU	2001	DBLP DOI BibTeX RDF
13	Klaus Wich	Characterization of Context-Free Languages with Polynomially Bounded Ambiguity.	MFCS	2001	DBLP DOI BibTeX RDF
13	Martin Beaudry, Markus Holzer 0001, Gundula Niemann, Friedrich Otto	On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
13	Jaco Geldenhuys, Antti Valmari	Techniques for Smaller Intermediary BDDs.	CONCUR	2001	DBLP DOI BibTeX RDF
13	Guozhu Dong, Jianwen Su	Incremental Maintenance of Recursive Views Using Relational Calculus/SQL.	SIGMOD Rec.	2000	DBLP DOI BibTeX RDF	SQL
13	Lorenz Huelsbergen	A representation for dynamic graphs in reconfigurable hardware and its application to fundamental graph algorithms.	FPGA	2000	DBLP DOI BibTeX RDF
13	Yasuhito Mukouchi, Masako Sato	Language Learning with a Neighbor System.	Discovery Science	2000	DBLP DOI BibTeX RDF
13	Marion Scheepers	The length of some diagonalization games.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF	$omega$-concentrated, point-open type, $omega$-type, strong-fan type, density type, infinite game
13	Dimitrie O. Paun, Marsha Chechik	Events in Linear-Time Properties.	RE	1999	DBLP DOI BibTeX RDF
13	Michael Kaminski	Open Default Theories over Closed Domains.	ESCQARU	1999	DBLP DOI BibTeX RDF
13	Daniele Nardi, Riccardo Rosati 0001	Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled.	AI*IA	1999	DBLP DOI BibTeX RDF
13	Daniele Frigioni, Tobias Miller, Umberto Nanni, Giulio Pasqualone, Guido Schäfer, Christos D. Zaroliagis	An Experimental Study of Dynamic Algorithms for Directed Graphs.	ESA	1998	DBLP DOI BibTeX RDF
13	Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano, Moti Yung	Image Density is Complete for Non-Interactive-SZK (Extended Abstract).	ICALP	1998	DBLP DOI BibTeX RDF
13	Jeremy V. Pitt	Benchmark Evaluation of Square-KE.	TABLEAUX	1998	DBLP DOI BibTeX RDF
13	Kerstin Schwarz, Can Türker, Gunter Saake	Extending Transaction Closures by N-ary Termination Dependencies.	ADBIS	1998	DBLP DOI BibTeX RDF
13	Zbigniew W. Ras, Jiyun Zheng	Knowledge Discovery Objects and Queries in Distributed Knowledge Systems.	AISC	1998	DBLP DOI BibTeX RDF
13	Elena Pezzoli	On the Computational Complexity of Type 2 Functionals.	CSL	1997	DBLP DOI BibTeX RDF
13	Anil Seth	Sharper Results on the Expressive Power of Generalized Quantifiers.	FSTTCS	1997	DBLP DOI BibTeX RDF
13	V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles	Tree Adjoining Grammars in Noncommutative Linear Logic.	LACL	1996	DBLP DOI BibTeX RDF
13	Vineet Gupta 0001, Radha Jagadeesan, Vijay A. Saraswat	Truly Concurrent Constraint Programming.	CONCUR	1996	DBLP DOI BibTeX RDF
13	Alexander Borgida, John Mylopoulos, Raymond Reiter	On the Frame Problem in Procedure Specifications.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	frame assertion, semantics of specification languages, specifications, languages, inheritance, Formal, proof obligations
13	Bengt Jonsson 0001, Yih-Kuen Tsay	Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract).	TAPSOFT	1995	DBLP DOI BibTeX RDF
13	Wolfgang Merkle, Yongge Wang	Separations by Random Oracles and "Almost" Classes for Generalized Reducibilities.	MFCS	1995	DBLP DOI BibTeX RDF
13	Cristina Cornes, Delphine Terrasse	Automating Inversion of Inductive Predicates in Coq.	TYPES	1995	DBLP DOI BibTeX RDF
13	Zhijian Zhu, James A. McHugh, Jason T. L. Wang, Peter A. Ng	A formal approach to modeling office information systems.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	office information systems, document type, filing and retrieval, directed acyclic graph, predicates, document model
13	Dieter Hofbauer, Maria Huber, Gregory Kucherov	Some Results on Top-Context-Free Tree Languages.	CAAP	1994	DBLP DOI BibTeX RDF
13	Håkan Jakobsson	On Tree-Based Techniques for Query Evaluation.	PODS	1992	DBLP DOI BibTeX RDF
13	David A. McAllester	Grammar Rewriting.	CADE	1992	DBLP DOI BibTeX RDF
13	Nick Reingold, Da-Wei Wang, Lenore D. Zuck	Games I/O Automata Play (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
13	Albert Gräf	Left-to-Right Tree Pattern Matching.	RTA	1991	DBLP DOI BibTeX RDF
13	Bhavani Thuraisingham	Computing Transitive Closures of Multilevel Relations.	SIGMOD Rec.	1990	DBLP DOI BibTeX RDF
13	David W. Stemple, Tim Sheard	A Recursive Base for Database Programming Primitives.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF