Search results for "closure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Jirí Adámek, Lurdes Sousa	Constructions of Solid Hulls.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	concrete category, MacNeille completion, solid hull, limit closure
13	Jürgen Dassow, Gheorghe Paun, Gabriel Thierrin, Sheng Yu 0001	Tree-systems of morphisms.	Acta Informatica	2001	DBLP DOI BibTeX RDF	membrane computing, closure property, morphism, Lindenmayer system
13	Yih-Chih Chou, Youn-Long Lin	A performance-driven standard-cell placer based on a modified force-directed algorithm.	ISPD	2001	DBLP DOI BibTeX RDF	placement, timing closure, force-directed
13	Marcel Erné	Prime Ideal Theory for General Algebras.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closure system, cm-lattice, semiprime, locale, distributive, residuated, ideal, prime, quantale, radical
13	Marek Teichmann, Bud Mishra	Probabilistic Algorithms for Efficient Grasping and Fixturing.	Algorithmica	2000	DBLP DOI BibTeX RDF	Multifinger robot hands, Closure grasps, Grasp metrics, Polytope covering, Approximate geometric algorithms, Grasping, Fixturing
13	Rafik Taouil, Nicolas Pasquier, Yves Bastide, Lotfi Lakhal	Mining Bases for Association Rules Using Closed Sets.	ICDE	2000	DBLP DOI BibTeX RDF	Galois closure operator, bases for association rules, Data Mining, Knowledge Discovery in Databases, frequent closed itemsets
13	Lance R. Williams, Karvel K. Thornber	A Comparison of Measures for Detecting Natural Shapes in Cluttered Backgrounds.	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	grouping, contours, saliency, closure
13	Fredrik Kahl, Anders Heyden	Affine Structure and Motion from Points, Lines and Conics.	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	closure constraints, multiple view tensors, reconstruction, factorization methods, affine cameras, matching constraints
13	Katsuhiko Nakamura	Real-Time Language Recognition by One-Way and Two-Way Cellular Automata.	MFCS	1999	DBLP DOI BibTeX RDF	one-way cellular automata, parallel language recognition, closure under reversal, Cellular automata
13	Roberto Giacobazzi, Francesca Scozzari	A Logical Model for Relational Abstract Domains.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	Heyting completion, condensing analysis, directional types, reduced cardinal power, static analysis, abstract interpretation, constraint logic programming, domains, closure operators, intuitionistic logic
13	Thomas H. Spencer	Time-work tradeoffs for parallel algorithms.	J. ACM	1997	DBLP DOI BibTeX RDF	nearby lists, shortest path, PRAM, transitive closure, breadth first search, topological sort
13	Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato	Complementation in Abstract Interpretation.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	functional and logic programming, program analysis, abstract interpretation, closure operator, complementation, abstract domain
13	Richard Beigel, Bin Fu	Circuits Over PP and PL.	CCC	1997	DBLP DOI BibTeX RDF	reduction, oracle, circuit, closure, PL, Boolean formula, AC, NC, PP
13	Kumar N. Ganapathy, Benjamin W. Wah	Optimal Synthesis of Algorithm-Specific Lower-Dimensional Processor Arrays.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	polynomial-time search, transitive closure, processor arrays, optimal design, objective function, Design constraints, uniform recurrence equations
13	Jukka Teuhola	Path Signatures: A Way to Speed Up Recursion in Relational Databases.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	Bill-of-materials, path encoding, recursive relations, clustering, signatures, transitive closure, composite objects
13	J. Bey	Tetrahedral Grid Refinement.	Computing	1995	DBLP DOI BibTeX RDF	Tetrahedral grid refinement, stable refinements, consistent triangulations, green closure, grid coarsening
13	Manuel Serrano	Control flow analysis: a functional languages compilation paradigm.	SAC	1995	DBLP DOI BibTeX RDF	closure analysis, compilation, ML, scheme, SCHEME, control flow analysis
13	Shiyi Xu, Gercy P. Dias	Testability forecasting for sequential circuits.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	testability forecasting, transitive closure algorithm, number of test patterns, computational complexity, fault diagnosis, logic testing, logic testing, statistical analysis, design for testability, sequential circuits, sequential circuits, logic CAD, fault coverage, regression models, automatic test software, CPU time, test generation algorithms
13	Pen-Yuang Chang, Jong-Chuang Tsay	A Family of Efficient Regular Arrays for Algebraic Path Problem.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	efficient regular arrays, dependence graph decomposition, multiple phases, m-phase schedule function, cylindrical array, spherical array, parallel algorithms, parallel algorithms, computational complexity, graph theory, systolic arrays, systolic array, matrix multiplication, matrix algebra, VLSI architecture, execution times, transitive closure, orthogonal array, algebraic path problem
13	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
13	Noga Alon, Zvi Galil, Oded Margalit, Moni Naor	Witnesses for Boolean Matrix Multiplication and for Shortest Paths	FOCS	1992	DBLP DOI BibTeX RDF	subcubic methods, shortest paths, deterministic algorithm, transitive closure, witnesses, Boolean matrix multiplication
13	Rakesh M. Verma	A Theory of Using History for Equational Systems with Applications (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	translation scheme, equational systems, congruence closure based simplifier, consistent convergent systems, priority rewrite systems, normal forms
13	Bonnie Berger, John Rompel, Peter W. Shor	Efficient NC Algorithms for Set Cover with Applications to Learning and Geometry	FOCS	1989	DBLP DOI BibTeX RDF	unweighted set cover problems, efficient NC algorithms, NC approximation algorithms, weighted set cover problems, set cover algorithm, finite union, finite intersection, finite VC dimension, NC hypothesis finder, linear-processor NC algorithm, computational geometry, learning theory, closure, concept class
13	Klaus Simon	On Minimum Flow and Transitive Reduction.	ICALP	1988	DBLP DOI BibTeX RDF	Minimum flow, transitive reduction, random digraph, transitive closure
13	Manfred Schimmler, Heiko Schröder 0001	A Simple Systolic Method to Find all Bridges of an Undirected Graph.	WG	1988	DBLP DOI BibTeX RDF	bridges in graphs, complexity, transitive closure, systolic algorithm, mesh-connected processor array
13	Frances L. Van Scoy	The Parallel Recognition of Classes of Graphs.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	parallel processing, graph theory, Analysis of algorithms, transitive closure, cellular space
13	Erik Sandewall	Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	FUNARG-expression, nondeterministic, theorem proving, retrieval, Closure, deduction
13	Jeffrey D. Russell, Charles R. Kime	System Fault Diagnosis: Masking, Exposure, and Diagnosability Without Repair.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Closure index, diagnosable digital systems, diagnostic modeling, exposure index, masking index, fault diagnosis, fault-tolerant computing, multiple faults
13	Spyros Kotoulas, Eyal Oren, Frank van Harmelen	Mind the data skew: distributed inferencing by speeddating in elastic regions.	WWW	2010	DBLP DOI BibTeX RDF	peer-to-peer, distributed, reasoning, self-organisation
13	Natarajan Viswanathan, Gi-Joon Nam, Jarrod A. Roy, Zhuo Li 0001, Charles J. Alpert, Shyam Ramji, Chris Chu	ITOP: integrating timing optimization within placement.	ISPD	2010	DBLP DOI BibTeX RDF	placement, timing optimization, physical synthesis
13	David Michael Knipe	The Partial Ordering on the Automorphism Group of the Countable Generic Partial Order.	Order	2009	DBLP DOI BibTeX RDF	Partially ordered group, Reduction scheme, Group, Partial order
13	Balder ten Cate, Carsten Lutz	The complexity of query containment in expressive fragments of XPath 2.0.	J. ACM	2009	DBLP DOI BibTeX RDF	XML, complexity, satisfiability, XPath, containment
13	Anish Das Sarma, Omar Benjelloun, Alon Y. Halevy, Shubha U. Nabar, Jennifer Widom	Representing uncertain data: models, properties, and algorithms.	VLDB J.	2009	DBLP DOI BibTeX RDF	Uncertainty, Data modeling, Uncertain data
13	Mark R. P. Thomas, Patrick A. Naylor	The SIGMA Algorithm: A Glottal Activity Detector for Electroglottographic Signals.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
13	Sebastian Sequoiah-Grayson	Mono-Agent Dynamics.	LORI	2009	DBLP DOI BibTeX RDF
13	Jacopo Urbani, Spyros Kotoulas, Eyal Oren, Frank van Harmelen	Scalable Distributed Reasoning Using MapReduce.	ISWC	2009	DBLP DOI BibTeX RDF
13	Tokuo Tsuji, Kensuke Harada, Kenji Kaneko	Easy and fast evaluation of grasp stability by using ellipsoidal approximation of friction cone.	IROS	2009	DBLP DOI BibTeX RDF
13	Nikhil Santosh Naikal, John Kua, George Chen, Avideh Zakhor	Image augmented laser scan matching for indoor dead reckoning.	IROS	2009	DBLP DOI BibTeX RDF
13	Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss	On Omega-Languages Defined by Mean-Payoff Conditions.	FoSSaCS	2009	DBLP DOI BibTeX RDF
13	Yuan Mei, Samuel Madden 0001	ZStream: a cost-based query processor for adaptively detecting composite events.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	optimization, algorithm, streaming, complex event processing
13	Marius Bozga, Codruta Gîrlea, Radu Iosif	Iterating Octagons.	TACAS	2009	DBLP DOI BibTeX RDF
13	Xiaoyun He, Jaideep Vaidya, Basit Shafiq, Nabil R. Adam, Evimaria Terzi, Tyrone Grandison	Efficient Privacy-Preserving Link Discovery.	PAKDD	2009	DBLP DOI BibTeX RDF	Privacy, Efficiency, Link Discovery
13	Ramamurthy Vishweshwara, Ramakrishnan Venkatraman, H. Udayakumar, N. V. Arvind	An Approach to Measure the Performance Impact of Dynamic Voltage Fluctuations Using Static Timing Analysis.	VLSI Design	2009	DBLP DOI BibTeX RDF
13	Ashish Tiwari 0001	Combining Equational Reasoning.	FroCoS	2009	DBLP DOI BibTeX RDF
13	Rie Tanaka, Shigeru Sanada, Nobuo Okazaki, Takeshi Kobayashi, Masayuki Suzuki, Takeshi Matsui, Osamu Matsui	Detectability of Regional Lung Ventilation with Flat-panel Detector-based Dynamic Radiography.	J. Digit. Imaging	2008	DBLP DOI BibTeX RDF	functional imaging, flat-panel detector, FPD, ventilation, Digital imaging, computer analysis, chest radiographs
13	Michael Milford, Gordon F. Wyeth	Mapping a Suburb With a Single Camera Using a Biologically Inspired SLAM System.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
13	Yan Huang 0002, Liqin Zhang, Pusheng Zhang	A Framework for Mining Sequential Patterns from Spatio-Temporal Event Data Sets.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Data mining, Spatial databases, Spatial databases and GIS
13	Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa	A Non-probabilistic Relational Model of Probabilistic Kleene Algebras.	RelMiCS	2008	DBLP DOI BibTeX RDF
13	Arnaud Soulet, Bruno Crémilleux	Adequate Condensed Representations of Patterns.	ECML/PKDD (1)	2008	DBLP DOI BibTeX RDF
13	Anthony Widjaja To, Leonid Libkin	Recurrent Reachability Analysis in Regular Model Checking.	LPAR	2008	DBLP DOI BibTeX RDF
13	Atsuyoshi Nakamura, Mineichi Kudo	What Sperner Family Concept Class is Easy to Be Enumerated?	ICDM	2008	DBLP DOI BibTeX RDF
13	Ferdinand Börner	Basics of Galois Connections.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
13	Máximo A. Roa, Raúl Suárez	Independent contact regions for frictional grasps on 3D objects.	ICRA	2008	DBLP DOI BibTeX RDF
13	Kensuke Harada, Kenji Kaneko, Fumio Kanehiro	Fast grasp planning for hand/arm systems based on convex model.	ICRA	2008	DBLP DOI BibTeX RDF
13	Adrien Angeli, Stéphane Doncieux, Jean-Arcady Meyer, David Filliat	Incremental vision-based topological SLAM.	IROS	2008	DBLP DOI BibTeX RDF
13	Brian Patrick Williams, Mark Cummins, José Neira, Paul M. Newman, Ian D. Reid 0001, Juan D. Tardós	An image-to-map loop closing method for monocular SLAM.	IROS	2008	DBLP DOI BibTeX RDF
13	Chanki Kim, Wan Kyun Chung	Delayed resampling in a Rao-Blackwellized particle filtering SLAM for consistent loop closures.	IROS	2008	DBLP DOI BibTeX RDF
13	Xiaoyun He, Basit Shafiq, Jaideep Vaidya, Nabil R. Adam	Privacy-preserving link discovery.	SAC	2008	DBLP DOI BibTeX RDF	privacy, link discovery
13	Jaakko Järvi, John Freeman	Lambda functions for C++0x.	SAC	2008	DBLP DOI BibTeX RDF	lambda functions, C++, closures, STL
13	Ashutosh Chakraborty, Sean X. Shi, David Z. Pan	Layout Level Timing Optimization by Leveraging Active Area Dependent Mobility of Strained-Silicon Devices.	DATE	2008	DBLP DOI BibTeX RDF
13	Omer Reingold, Luca Trevisan, Madhur Tulsiani, Salil P. Vadhan	Dense Subsets of Pseudorandom Sets.	FOCS	2008	DBLP DOI BibTeX RDF
13	Christopher Lynch, Duc-Khanh Tran	SMELS: Satisfiability Modulo Equality with Lazy Superposition.	ATVA	2008	DBLP DOI BibTeX RDF
13	Zhuo Li 0001, Charles J. Alpert, Shiyan Hu, Tuhin Muhmud, Stephen T. Quay, Paul G. Villarrubia	Fast interconnect synthesis with layer assignment.	ISPD	2008	DBLP DOI BibTeX RDF	buffer insertion, wire sizing, layer assignment, interconnect synthesis
13	David Van Horn, Harry G. Mairson	Flow Analysis, Linearity, and PTIME.	SAS	2008	DBLP DOI BibTeX RDF
13	Dominik Lücke, Till Mossakowski, Diedrich Wolter	Qualitative Reasoning about Convex Relations.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	Qualitative spatio-temporal reasoning, relative orientation calculi, consistency
13	Xiangfu Zhao, Dantong Ouyang	On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach.	RAM	2008	DBLP DOI BibTeX RDF
13	Richard N. Ball, Anthony W. Hager	Epi-topology and Epi-convergence for Archimedean Lattice-ordered Groups with Unit.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06F20, 18A20, 22A30, 46H15, 54C35, 54A20
13	Mohamed Bekkali, Maurice Pouzet, Driss Zhani	Incidence structures and Stone-Priestley duality.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G05, 08A62, 03G10
13	Jussi Klemelä	Density estimation with stagewise optimization of the empirical risk.	Mach. Learn.	2007	DBLP DOI BibTeX RDF	Multivariate function estimation, Boosting, Greedy algorithms, Empirical risk minimization
13	Love Singhal, Elaheh Bozorgzadeh, David Eppstein	Interconnect Criticality-Driven Delay Relaxation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
13	Xiangyang Zhu, Han Ding 0001	An Efficient Algorithm for Grasp Synthesis and Fixture Layout Design in Discrete Domain.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
13	Jouni Järvinen	Lattice Theory for Rough Sets.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF
13	Zhiping Zeng, Jianyong Wang 0001, Lizhu Zhou, George Karypis	Out-of-core coherent closed quasi-clique mining from large dense graph databases.	ACM Trans. Database Syst.	2007	DBLP DOI BibTeX RDF	coherent subgraph, frequent closed subgraph, quasi-clique, Graph mining, out-of-core algorithm
13	Yiyu Yao, Bing Zhou 0002	A Logic Language of Granular Computing.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
13	Jijie Xu, Michael Yu Wang, Hong Wang, Zexiang Li 0001	Force Analysis of Whole Hand Grasp by Multifingered Robotic Hand.	ICRA	2007	DBLP DOI BibTeX RDF
13	Emilio J. González-Galván, Ambrocio Loredo-Flores, Erika D. Laborico-Aviles, Felipe Pazos-Flores, J. Jesus Cervantes-Sanchez	An algorithm for optimal closed-path generation over arbitrary surfaces using uncalibrated vision.	ICRA	2007	DBLP DOI BibTeX RDF
13	José-Miguel Benedí, Joan-Andreu Sánchez	Fast Stochastic Context-Free Parsing: A Stochastic Version of the Valiant Algorithm.	IbPRIA (1)	2007	DBLP DOI BibTeX RDF
13	Viorela Ila, Juan Andrade-Cetto, Rafael Valencia, Alberto Sanfeliu	Vision-based loop closing for delayed state robot mapping.	IROS	2007	DBLP DOI BibTeX RDF
13	Máximo A. Roa, Raúl Suárez	Geometrical approach for grasp synthesis on discretized 3D objects applied to repeatable test methods.	IROS	2007	DBLP DOI BibTeX RDF
13	Alexander Kleiner, Dali Sun	Decentralized SLAM for pedestrians without direct communication.	IROS	2007	DBLP DOI BibTeX RDF
13	Andrew M. Scott, Mark E. Schuelein, Marly Roncken, Jin-Jer Hwan, John Bainbridge, John R. Mawer, David L. Jackson, Andrew Bardsley	Asynchronous on-Chip Communication: Explorations on the Intel PXA27x Processor Peripheral Bus.	ASYNC	2007	DBLP DOI BibTeX RDF
13	Anastasios Giouris, Manolis Wallace	Graph Based Workflow Validation.	AIAI	2007	DBLP DOI BibTeX RDF
13	Peter Leupold	Duplication Roots.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
13	Balder ten Cate, Carsten Lutz	The complexity of query containment in expressive fragments of XPath 2.0.	PODS	2007	DBLP DOI BibTeX RDF	XML, complexity, satisfiability, XPath, containment
13	Gautam Gupta, DaeGon Kim, Sanjay V. Rajopadhye	Scheduling in the Z-Polyhedral Model.	IPDPS	2007	DBLP DOI BibTeX RDF
13	Tarek Hamrouni, Petko Valtchev, Sadok Ben Yahia, Engelbert Mephu Nguifo	About the Lossless Reduction of the Minimal Generator Family of a Context.	ICFCA	2007	DBLP DOI BibTeX RDF
13	Charles J. Alpert, Shrirang K. Karandikar, Zhuo Li 0001, Gi-Joon Nam, Stephen T. Quay, Haoxing Ren, Cliff C. N. Sze, Paul G. Villarrubia, Mehmet Can Yildiz	The nuts and bolts of physical synthesis.	SLIP	2007	DBLP DOI BibTeX RDF
13	Ali Yazici, Ziya Karakaya	JMathNorm: A Database Normalization Tool Using Mathematica.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF
13	Martin Lange	Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness.	CONCUR	2007	DBLP DOI BibTeX RDF
13	Vasco Brattka, Guido Gherardi	Borel Complexity of Topological Operations on Computable Metric Spaces.	CiE	2007	DBLP DOI BibTeX RDF	effective descriptive set theory, Borel measurability, hyperspace topologies, Computable analysis
13	Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev	On Dynamic Topological and Metric Logics.	Stud Logica	2006	DBLP DOI BibTeX RDF	topological logic, temporal logic, topology, modal logic, dynamical system, decidability, metric space
13	Paolo Bottoni, Anna Labella, Vincenzo Manca, Victor Mitrana	Superposition Based on Watson-Crick-Like Complementarity.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
13	Jie Luo 0001, Anthony Ephremides	On the throughput, capacity, and stability regions of random multiple access.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	multipacket reception (MPR), positive correlation, stability, capacity, ALOHA
13	Yossi Borenstein, Riccardo Poli	Information Perspective of Optimization.	PPSN	2006	DBLP DOI BibTeX RDF
13	Francisco-Javier Veredas, Michael Scheppler, Bumei Zhai, Hans-Jörg Pfleiderer	Regular Routing Architecture for a LUT-based MPGA.	ISVLSI	2006	DBLP DOI BibTeX RDF
13	Jordi Cornellà, Raúl Suárez	A New Framework for Planning Three-Finger Grasps of 2D Irregular Objects.	IROS	2006	DBLP DOI BibTeX RDF
13	Matthew de Brecht, Masanori Kobayashi, Hiroo Tokunaga, Akihiro Yamamoto	Inferability of Closed Set Systems from Positive Data.	JSAI	2006	DBLP DOI BibTeX RDF
13	Zhiping Zeng, Jianyong Wang 0001, Lizhu Zhou, George Karypis	Coherent closed quasi-clique discovery from large dense graph databases.	KDD	2006	DBLP DOI BibTeX RDF	coherent subgraph, quasi-clique, graph mining
13	Martin Kutrib, Andreas Malcher	Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability.	MFCS	2006	DBLP DOI BibTeX RDF
13	Manfred Kufleitner	Polynomials, Fragments of Temporal Logic and the Variety DA over Traces.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF