The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for constraints with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1956-1964 (15) 1966-1969 (21) 1970-1973 (27) 1974 (15) 1975 (15) 1976 (24) 1977 (23) 1978 (31) 1979 (26) 1980 (48) 1981 (27) 1982 (39) 1983 (57) 1984 (56) 1985 (64) 1986 (91) 1987 (113) 1988 (180) 1989 (185) 1990 (289) 1991 (266) 1992 (324) 1993 (366) 1994 (516) 1995 (561) 1996 (615) 1997 (739) 1998 (782) 1999 (1040) 2000 (1222) 2001 (1281) 2002 (1671) 2003 (1865) 2004 (2567) 2005 (3160) 2006 (3487) 2007 (3708) 2008 (3788) 2009 (2792) 2010 (1330) 2011 (1156) 2012 (1225) 2013 (1406) 2014 (1371) 2015 (1375) 2016 (1471) 2017 (1499) 2018 (1571) 2019 (301)
Publication types (Num. hits)
article(15075) book(19) incollection(256) inproceedings(29179) phdthesis(253) proceedings(19)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29329 occurrences of 9263 keywords

Results
Found 44801 publication records. Showing 44801 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
57Chen Li 0001 Using Constraints to Describe Source Contents in Data Integration Systems. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF source constraints, local constraints, general global constraints, source-derived global constraints, data integration
51Tobias Müller Promoting Constraints to First-Class Status. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF first-class constraints, early failure detection, simplification and garbage collection of constraints, minimal sets of inconsistent constraints, constraint programming
50Paula Amaral, Pedro Barahona A Framework for Optimal Correction of Inconsistent Linear Constraints. Search on Bibsonomy Constraints The full citation details ... 2005 DBLP  DOI  BibTeX  RDF infeasibility, flexible constraints, optimal correction, linear constraints
44László Lengyel, Tihamer Levendovszky, Hassan Charaf Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps. Search on Bibsonomy Panhellenic Conference on Informatics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Metamodel-Based Graph Transformation Steps, Aspect-Oriented Constraints, Crosscutting Constraints, Weaving AO Constraints, VMTS, OCL
44Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh The Complexity of Reasoning with Global Constraints. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Generalized arc consistency, Computational complexity, Constraint propagation, Global constraints
43Meinolf Sellmann, Thorsten Gellermann, Robert Wright Cost-based Filtering for Shorter Path Constraints. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Global constraints, Optimization constraints, Relaxed consistency, Constrained shortest paths, Problem reduction
43Yahia Lebbah, Claude Michel, Michel Rueher A Rigorous Global Filtering Algorithm for Quadratic Constraints*. Search on Bibsonomy Constraints The full citation details ... 2005 DBLP  DOI  BibTeX  RDF quadratic constraints, safe linearizations, global constraints
43Y. Law, Jimmy Lee Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction. Search on Bibsonomy Constraints The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Value symmetries, Constraint satisfaction, Symmetry breaking
42Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit Reformulation of Global Constraints Based on Constraints Checkers. Search on Bibsonomy Constraints The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automata, global constraints, reformulation
42Meinolf Sellmann The Theory of Grammar Constraints. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF regular grammar constraints, context-free grammar constraints, constraint filtering, global constraints
40Xubo Zhang, Z. Meral Özsoyoglu Implication and Referential Constraints: A New Formal Reasoning. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Semantic integrity constraints, implication constraints, referential constraints, database system, query containment, semantic query optimization, refutation
40Ian Davidson, S. S. Ravi The complexity of non-hierarchical clustering with instance and cluster level constraints. Search on Bibsonomy Data Min. Knowl. Discov. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Non-hierarchical clustering, Complexity, Constraints
39Meinolf Sellmann Approximated Consistency for Knapsack Constraints. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF approximation algorithms, global constraints, optimization constraints, relaxed consistency, cost-based filtering
39Ari Rappoport, Yacov Hel-Or, Michael Werman Interactive design of smooth objects with probabilistic point constraints. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF probabilistic point constraints, relaxed design, smooth objects, interpolation, Kalman filter, splines, soft constraints, shape parameter
38Ian P. Gent, Kostas Stergiou 0001, Toby Walsh Decomposable Constraints. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Faouzi Boufarès, Naoufel Kraïem A New Tool to Analyze ER-Schemas. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ER Meta-model, Valid ER-schemas, Information System, Constraints, Conceptual modeling, Meta-modeling, CASE tools, Entity- Relationship model, Cardinality constraints
38Wei Zhou 0006, Christoph Meinel Function-Based Authorization Constraints Specification and Enforcement. Search on Bibsonomy IAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Access control, authorization constraints, constraints specification, constraints enforcement
38Brahim Hnich, Steven David Prestwich, Evgeny Selensky, Barbara M. Smith Constraint Models for the Covering Test Problem. Search on Bibsonomy Constraints The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Chanelling constraints, Modelling, Testing, Local search, Symmetry, Global constraints, Covering arrays
37Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma Reasoning about synchronization in GALS systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Symbolic timing analysis, GALS systems, Multi-clocked systems, Symbolic delay constraints, Synchronization constraints, Sequencing constraints
37G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller Solving Systems of Difference Constraints Incrementally. Search on Bibsonomy Algorithmica The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Difference constraints, Dynamic negative cycle, Incremental algorithm, Shortest-path problem, Linear constraints
37Witold Charatonik, Andreas Podelski Set Constraints with Intersection. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints
36Nicolas Beldiceanu Introduction to the Special Issue on Global Constraints. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Graph constraints, Constraint Programming, Global constraints, Resource scheduling
36Nathan Hurst, Kim Marriott, Peter Moulder Dynamic approximation of complex graphical constraints by linear constraints. Search on Bibsonomy UIST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF linearization of constraints, non-overlap, direct manipulation, constraint-solving, containment, trust regions
36Chuck Monahan, Forrest Brewer Symbolic execution of data paths. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF combinational switching, data-path model, path constraints, bus hazards, register constraints, control encoding limitations, path-constrained model, DSP microprocessor, switching logic, connection constraints, operand constraints, scheduling, Boolean functions, Boolean functions, logic design, combinational circuits, data flow analysis, processor scheduling, symbolic execution, data flow graphs, digital signal processing chips, constraint handling, combinational logic, dataflow graphs, hazards and race conditions, memory elements
35Shing-Chi Cheung, Jeff Kramer Context Constraints for Compositional Reachability Analysis. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF compositional techniques, context constraints, distributed systems, concurrency, static analysis, validation, reachability analysis, labeled transition systems, state space reduction
35Hadrien Cambazard, Barry O'Sullivan Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Table constraints, Explanation generation, Functional dependencies
35Lengning Liu, Miroslaw Truszczynski Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search
35Alain Colmerauer, Thi-Bich-Hanh Dao Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees. Search on Bibsonomy Constraints The full citation details ... 2003 DBLP  DOI  BibTeX  RDF complexity, constraints, trees, first order logic, expressiveness
35Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli Automatic data mapping of signal processing applications. Search on Bibsonomy ASAP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF automatic data mapping, signal processing applications, architectural resources constraints, fine-grain scheduling, concurrent constraints logic programming languages, concurrent resolution technique, panoramic analysis, mapping, parallel machine, data partitioning, distributed memory, real time constraints, logic programming languages
34Muhammed Al-Muhammed, David W. Embley Resolving Underconstrained and Overconstrained Systems of Conjunctive Constraints for Service Requests. Search on Bibsonomy CAiSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Service requests, underconstrained systems of constraints, overconstrained systems of constraints, ordered solutions and near solutions, expectation-based resolution, dominance
34Leonid Libkin Variable independence for first-order definable constraints. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF definable sets, polynomial constraints, variable independence, First-order logic, spatio-temporal databases, linear constraints
34Vic Grout Principles of Cost Minimisation in Wireless Networks. Search on Bibsonomy J. Heuristics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF minimum connected vertex cover problem, node constraints, edge constraints, path constraints, load constraints, add algorithm, drop algorithm, wireless networks
34Christof Lutteroth, Robert Strandh, Gerald Weber Domain Specific High-Level Constraints for User Interface Layout. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Auckland Layout Model, Constraint, GUI
34Kenil C. K. Cheng, Roland H. C. Yap Applying Ad-hoc Global Constraints with the case Constraint to Still-Life. Search on Bibsonomy Constraints The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Still-life problem, Ad-hoc constraint, Non-binary constraint, Modeling, Binary decision diagram
33Hiroshi Hosobe A modular geometric constraint solver for user interface applications. Search on Bibsonomy UIST The full citation details ... 2001 DBLP  DOI  BibTeX  RDF module mechanisms, geometric constraints, graph layouts, soft constraints, constraint solvers
33David W. Lin, Jiann-Jone Chen Efficient Optimal Rate-Distortion Coding of Video Sequences Under Multiple Rate Constraints. Search on Bibsonomy ICIP (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF rate-distortion coding, multiple rate constraints, quantization scales, channel constraints, delayed-coding framework, multiple Lagrange multipliers, Lagrangian optimization theory, video coding, video coding, video sequences, efficient algorithm, optimal coding, buffer constraints
33Ding Chen, Chee Yong Chan Minimization of tree pattern queries with constraints. Search on Bibsonomy SIGMOD Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF query minimization, tree pattern queries, simulation, xpath, xml, integrity constraints, chase
33Thibaut Feydy, Peter J. Stuckey Propagating systems of dense linear integer constraints. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Gauss-Jordan elimination, Fourier elimination, Interval arithmetic, Constraint propagation, Linear constraints
33Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven David Prestwich A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Global chance-constraints, Stochastic inventory control, Non-stationary (R,S) policy, Uncertainty
33Krzysztof R. Apt, Peter Zoeteweij An Analysis of Arithmetic Constraints on Integer Intervals. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Arithmetic constraints, Integer interval arithmetic, Constraint propagation, Local consistency
33Khaled M. Elbassioni, Irit Katriel Multiconsistency and Robustness with Global Constraints. Search on Bibsonomy Constraints The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Multi-consistency, Alldifferent, Global cardinality constraint, Global constraints, Arc-consistency, Filtering algorithms, Robust solutions
33Juan Pablo Vielma, George L. Nemhauser Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints. Search on Bibsonomy IPCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Martin Henz, Roland H. C. Yap, Lim Yun Fong, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping Solving Hierarchical Constraints over Finite Domains with Local Search. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF hierarchical constraints, over-constrained problems, airport gate allocation, finite domain constraints
32Abdullah Uz Tansel Integrity Constraints in Temporal Relational Databases. Search on Bibsonomy ITCC (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Existential Integrity, Temporal Integrity Constraints, Temporal Databases, Integrity Constraints, Temporal Relations, Referential Integrity
32Samy Ait-Aoudia, Hakim Badis, Messaoud Kara Solving Geometric Constraints by a Hybrid Method. Search on Bibsonomy IV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF graph-based solver, Computer aided design, matching, bipartite graphs, constraints solving, geometric constraints
32Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon Supporting the specification and analysis of timing constraints. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF timing constraints analysis, real-time programmers, user-friendly environment, user specification, real-time systems, user interface, formal specification, timing, synchronisation, timing constraints, computer aided software engineering, C language, C program, project support environments
32Markus Röösli, Gladys Monagan A high quality vectorization combining local quality measures and global constraints. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF high quality vectorization, local quality measures, vectorization system, vector data generation, line structures, raster image, straight lane segment, high quality vector data, line objects, generated vector data, interactive data postprocessing, feature extraction, computational geometry, image recognition, industrial applications, geometric constraints, global constraints, spatial data structures, circular arc
32Francesca Rossi, Alessandro Sperduti Acquiring Both Constraint and Solution Preferences in Interactive Constraint Systems. Search on Bibsonomy Constraints The full citation details ... 2004 DBLP  DOI  BibTeX  RDF learning, user interaction, soft constraints
32Iddo Hanniel, Kirk Haller Solving global geometric constraints on free-form curves. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Neil Coburn, Grant E. Weddell Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies. Search on Bibsonomy DOOD The full citation details ... 1991 DBLP  DOI  BibTeX  RDF constraints, typing, functional dependencies, specialization, complex objects, object-oriented data models, equations
32Katta G. Murty Complexity of Degeneracy. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Near degeneracy, Active constraints, Tight constraints, Inactive constraints, Slack constraints, Basic feasible solution, Regular polyhedron, Simple polyhedron, Stalling, Resolving degeneracy, Positive marginal values, Negative marginal values, Extreme point enumeration, Extreme point ranking, Assignment ranking, Segments of polyhedra, NP-complete problem, Cycling, Degeneracy, Active set methods, Nondegeneracy
31Xiaoping Hu 0004, Narendra Ahuja Matching Point Features with Ordered Geometric, Rigidity, and Disparity Constraints. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF point features, disparity constraints, intensity-based matching algorithm, heuristic tests, two-dimensional geometrical relationships, rigidity test, disparity test, epipolar line, indoor images, computational complexity, computational complexity, feature extraction, image sequences, geometry, geometric constraints, matching algorithm, rigidity constraints, feature detectors
31Yuan-Fang Wang, Jih-Fang Wang Surface Reconstruction Using Deformable Models with Interior and Boundary Constraints. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF interior constraints, boundary constraints, elastic deformable-models, imaginary elastic grid, 1D deformable template, picture processing, deformable models, shape reconstruction, 3D surface reconstruction, shape constraints
31Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey Removing propagation redundant constraints in redundant modeling. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF redundant constraints, redundant modeling, Constraint propagation
31Mark C. Johnson, Kaushik Roy 0001 Optimal Selection of Supply Voltages and Level Conversions During Data Path Scheduling Under Resource Constraints. Search on Bibsonomy ICCD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF level conversion, voltage selection, scheduling, low-power, synthesis, DSP, ILP, resource constraints, datapath
30Michael Sannella Skyblue: A Multi-way Local Propagation Constraint Solver for User Interface Construction. Search on Bibsonomy ACM Symposium on User Interface Software and Technology The full citation details ... 1994 DBLP  DOI  BibTeX  RDF SkyBlue, local propagation, user interface implementation, constraints, constraint hierarchies
30Carlos Ruiz, Myra Spiliopoulou, Ernestina Menasalvas Ruiz C-DBSCAN: Density-Based Clustering with Constraints. Search on Bibsonomy RSFDGrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF constraint-based clustering, instance-level constraints, clustering with constraints, semi-supervised clustering, background knowledge
30Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau On global warming: Flow-based soft global constraints. Search on Bibsonomy J. Heuristics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Network flows, Global constraints, Soft constraints
30Mark Strembeck, Gustaf Neumann An integrated approach to engineer and enforce context constraints in RBAC environments. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Context-dependent access control, constraints engineering, context constraints, role-based access control
30Gail-Joon Ahn, Ravi S. Sandhu Role-based authorization constraints specification. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF role-based access control, access control models, authorization constraints, constraints specification
30Amitvikram Rajkhowa, Perry Alexander VSPEC Constraints Modeling and Evaluation. Search on Bibsonomy ECBS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF performance constraints evaluation, constraints verification
30Bill Triggs Matching Constraints and the Joint Image. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF combined homogeneous image coordinates, multi image perspective projection, image measurements, combined image projections, 3D joint image subspace, complete projective replica, 3D world, image coordinates, 4 index joint image Grassmannian tensor, multilinear tensorial equations, trilinear constraint, complex algebraic interdependency, quadratic structural simplicity constraints, computational geometry, image reconstruction, linear algebra, tensors, projective reconstruction, epipolar constraint, constraint theory, imaging geometry, matching constraints
30Roie Zivan, Amnon Meisels Asymmetric Distributed Constraints Satisfaction Problems. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Laks V. S. Lakshmanan, Raymond T. Ng, Jiawei Han 0001, Alex Pang Optimization of Constrained Frequent Set Queries with 2-variable Constraints. Search on Bibsonomy SIGMOD Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan Distributed constraint satisfaction with partially known constraints. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Distributed CSPs, Asynchronous search, Privacy, Entropy
29Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard Interval Constraints: Results and Perspectives. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Camélia Constantin, David Gross-Amblard, Meryem Guerrouani Watermill: an optimized fingerprinting system for highly constrained data. Search on Bibsonomy MM&Sec The full citation details ... 2005 DBLP  DOI  BibTeX  RDF semantic integrity constraints, usability constraints, XML, relational databases, watermarking, fingerprinting
29Jitendra Malik, Dror E. Maydan Recovering Three-Dimensional Shape from a Single Image of Curved Objects. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF 3D shape recover, curved objects, Lambertian surfaces, point light source, shading constraints, Horn's image irradiance equation, pattern recognition, pattern recognition, image segmentation, picture processing, picture processing, edge, line drawing, global constraints, surface orientation, variational techniques, reflectance map, variational formulation, single image
29Parke Godfrey, Jarek Gryz, Calisto Zuzarte Exploiting Constraint-Like Data Characterizations in Query Optimization. Search on Bibsonomy SIGMOD Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst HAMPI: a solver for string constraints. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF string constraints, regular languages, context-free languages
29Jinjun Chen, Yun Yang 0001 Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF checkpoint selection, fixed-time constraints, grid workflows, temporal dependency
29Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana Monitoring of Timing Constraints with Confidence Threshold Requirements. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fault tolerance, Constraints, monitors, temporal logic, real-time and embedded systems
29Martin C. Cooper Constraints Between Distant Lines in the Labelling of Line Drawings of Polyhedral Scenes. Search on Bibsonomy International Journal of Computer Vision The full citation details ... 2007 DBLP  DOI  BibTeX  RDF line drawing labelling, non-trihedral vertices, valued constraint satisfaction problem, soft constraints, polyhedral objects, parallel lines
29Jildou Louwsma, Sisi Zlatanova, Ron van Lammeren, Peter van Oosterom Specifying and Implementing Constraints in GIS - with Examples from a Geo-Virtual Reality System. Search on Bibsonomy GeoInformatica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF object constraints, GeoVR, virtual reality, unified modelling language, GIS, object constraint language, 3D objects
29Yiu-Cheong Tam, Evangeline F. Y. Young, Chris C. N. Chu Analog placement with symmetry and other placement constraints. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF symmetry constraints, placement, analog circuits, sequence-pair
29Hilderick A. van der Meiden, Willem F. Bronsvoort Solving topological constraints for declarative families of objects. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2006 DBLP  DOI  BibTeX  RDF families of objects, parametric and feature-based modelling, satisfiability, declarative specification, topological constraints
29Wenfei Fan, Leonid Libkin On XML integrity constraints in the presence of DTDs. Search on Bibsonomy J. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF XML, XML, Consistency, integrity constraints, DTDs, implication
29Joachim Niehren, Manfred Pinkal, Peter Ruhrberg On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF tree constraints, subtree relation, string unification, context unification, linear second-order unification, one-step rewriting, semantic processing of natural language
28Ioannis Tsamardinos, Thierry Vidal, Martha E. Pollack CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning. Search on Bibsonomy Constraints The full citation details ... 2003 DBLP  DOI  BibTeX  RDF constraint-based planning, conditional planning, temporal reasoning
28Oscar González 0002, H. Shrikumar, John A. Stankovic, Krithi Ramamritham Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling. Search on Bibsonomy RTSS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF adaptive fault tolerance, dynamic hard real-time scheduling, static redundancy allocation, variable environments, redundancy strategy, radar tracking software, AWACS, early warning aircraft, timing-centric performance metric, quality of service, fault tolerant computing, timing constraints, temporal constraints, resource constraints, QoS guarantees, graceful degradation
28Dzung T. Hoang, Jeffrey Scott Vitter, Elliot L. Linzer Lexicographic Bit Allocation for MPEG Video Coding. Search on Bibsonomy ICIP (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF MPEG video coding, lexicographic bit allocation, MPEG video coder, visual quality equalisation, coded pictures, channel constraints, video buffering verifier, bit production model, input pictures, bit-rate constraints, optimal lexicographic criterion, decoder model, perceptual quantisation, efficient algorithms, sufficient condition, code standards, pictures, necessary condition, buffer constraints, MPEG standards
28Wolfgang Achtziger, Christian Kanzow Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications. Search on Bibsonomy Math. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Vanishing constraints, Constrained optimization, Optimality conditions, Structural optimization, Constraint qualifications, Mathematical programs with equilibrium constraints
28Vijay Sundararajan, Sachin S. Sapatnekar, Keshab K. Parhi A new approach for integration of min-area retiming and min-delay padding for simultaneously addressing short-path and long-path constraints. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Minimum area retiming, application of mincost network flow, longpath circuit constraints, minimum delay padding, shortpath circuit constraints
28Michael A. Trick A Dynamic Programming Approach for Consistency and Propagation for Knapsack Constraints. Search on Bibsonomy Annals OR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF knapsack constraints, dynamic programming, global constraints
28Massimo Tistarelli Computation of Coherent Optical Flow by Using Multiple Constraints. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF coherent optical flow computation, temporal image feature change, multiple data points, differential constraints, gray level pattern, multiple image points, temporal behaviour, erroneous measurements, depth discontinuities, motion estimation, image sequences, time, occlusions, shadows, image features, constraint theory, multiple constraints, velocity field, real image sequences, image velocity
28Helmut Simonis Models for Global Constraint Applications. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Industrial programming, Constraint programming, Global constraints
28Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau A Cost-Regular Based Hybrid Column Generation Approach. Search on Bibsonomy Constraints The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hybrid OR/CP methods, CP-based column generation, employee timetabling, branch and price, optimization constraints
28Martin C. Cooper High-Order Consistency in Valued Constraint Satisfaction. Search on Bibsonomy Constraints The full citation details ... 2005 DBLP  DOI  BibTeX  RDF discrete optimisation, valued constraint satisfaction, consistency enforcing, MAX-CSP, soft constraints
28Petr Vilím, Roman Barták, Ondrej Cepek Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities. Search on Bibsonomy Constraints The full citation details ... 2005 DBLP  DOI  BibTeX  RDF unary resource, scheduling, global constraints, alternatives
27Francesco Bonchi, Claudio Lucchese Pushing Tougher Constraints in Frequent Pattern Mining. Search on Bibsonomy PAKDD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27José Galindo, Angélica Urrutia, Ramón Alberto Carrasco, Mario Piattini Relaxing constraints in enhanced entity-relationship models using fuzzy quantifiers. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Joachim Niehren, Mateu Villaret Parallelism and Tree Regular Constraints. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF unification, tree automata, computational logic
27Wenfei Fan, Jérôme Siméon Integrity Constraints for XML. Search on Bibsonomy PODS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Guy Bois, Eduard Cerny Efficient generation of diagonal constraints for 2-D mask compaction. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Xuan Liu 0004, Pengzhu Zhang Research on Constraints in Anti-Money Laundering (AML) Business Process in China Based on Theory of Constraints. Search on Bibsonomy HICSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF anti-money laundering, theory of constraints, business process, field study
27Nicolas Beldiceanu, Pierre Flener, Xavier Lorca Combining Tree Partitioning, Precedence, and Incomparability Constraints. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Digraph partitioning, Tree constraint, Incomparability constraint, Ordered disjoint paths problem, Phylogenetic supertree problem, Filtering, Tree, Global constraint, Precedence constraint, Hamiltonian path problem
27Sebastian Will, Anke Busch, Rolf Backofen Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Cluster tree elimination, Dynamic programming, Sequence alignment
27Stefano Bistarelli, Ugo Montanari, Francesca Rossi Soft concurrent constraint programming. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Constraints, soft constraints, concurrent constraint programming
27Ghassan Kwaiter A General Approach to Constraint Solving for Declarative Modeling Domain. Search on Bibsonomy IV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Hierarchical Constraints and Intervals Propagation, Constraint Satisfaction Problem, Declarative Modeling, Dynamical Constraints
26Andrea M. Goncher Creativity under constraints: the affect of problem space on design learning among engineering students. Search on Bibsonomy Creativity & Cognition The full citation details ... 2009 DBLP  DOI  BibTeX  RDF constraints, creativity, engineering design
Displaying result #1 - #100 of 44801 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license