The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase co-constraints (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1956-1963 (15) 1964-1968 (16) 1969-1970 (15) 1971-1973 (22) 1974 (16) 1975 (16) 1976 (26) 1977 (23) 1978 (31) 1979 (27) 1980 (50) 1981 (27) 1982 (43) 1983 (60) 1984 (59) 1985 (68) 1986 (99) 1987 (119) 1988 (192) 1989 (184) 1990 (298) 1991 (275) 1992 (340) 1993 (376) 1994 (526) 1995 (577) 1996 (631) 1997 (777) 1998 (807) 1999 (1065) 2000 (1257) 2001 (1336) 2002 (1706) 2003 (1943) 2004 (2620) 2005 (3222) 2006 (3529) 2007 (3749) 2008 (3813) 2009 (2836) 2010 (1377) 2011 (1197) 2012 (1250) 2013 (1458) 2014 (1407) 2015 (1433) 2016 (1532) 2017 (1568) 2018 (1717) 2019 (1915) 2020 (2019) 2021 (1886) 2022 (2194) 2023 (2381) 2024 (565)
Publication types (Num. hits)
article(22383) book(28) data(8) incollection(527) inproceedings(33213) phdthesis(511) proceedings(20)
Venues (Conferences, Journals, ...)
CoRR(3304) CDC(570) Constraints An Int. J.(559) ICRA(504) CP(471) IROS(447) ACC(427) IEEE Trans. Comput. Aided Des....(423) IEEE Access(384) DAC(311) Eur. J. Oper. Res.(305) ICASSP(279) Autom.(275) IEEE Trans. Autom. Control.(268) IEEE Trans. Signal Process.(264) ICC(258) More (+10 of total 5472)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29296 occurrences of 9260 keywords

Results
Found 56690 publication records. Showing 56690 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
53Chen Li 0001 Using Constraints to Describe Source Contents in Data Integration Systems. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF source constraints, local constraints, general global constraints, source-derived global constraints, data integration
47Tobias 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
47Paula Amaral 0001, Pedro Barahona A Framework for Optimal Correction of Inconsistent Linear Constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF infeasibility, flexible constraints, optimal correction, linear constraints
42Lá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
42Meinolf Sellmann, Thorsten Gellermann, Robert Wright Cost-based Filtering for Shorter Path Constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Global constraints, Optimization constraints, Relaxed consistency, Constrained shortest paths, Problem reduction
42Yahia Lebbah, Claude Michel, Michel Rueher A Rigorous Global Filtering Algorithm for Quadratic Constraints*. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF quadratic constraints, safe linearizations, global constraints
41Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh The Complexity of Reasoning with Global Constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Generalized arc consistency, Computational complexity, Constraint propagation, Global constraints
41Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit Reformulation of Global Constraints Based on Constraints Checkers. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automata, global constraints, reformulation
40Meinolf 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
39Yat Chiu Law, Jimmy H. M. Lee Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Value symmetries, Constraint satisfaction, Symmetry breaking
38Xubo 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
36Brahim Hnich, Steven D. Prestwich, Evgeny Selensky, Barbara M. Smith Constraint Models for the Covering Test Problem. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Chanelling constraints, Modelling, Testing, Local search, Symmetry, Global constraints, Covering arrays
36Wei 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
36Nicolas Beldiceanu Introduction to the Special Issue on Global Constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Graph constraints, Constraint Programming, Global constraints, Resource scheduling
36Meinolf 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
36Ari 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
35Ian 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
35Chuck 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
35Ian 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
35Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma Reasoning about synchronization in GALS systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Symbolic timing analysis, GALS systems, Multi-clocked systems, Symbolic delay constraints, Synchronization constraints, Sequencing constraints
34Faouzi 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
34G. 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
34Witold 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
34Hadrien Cambazard, Barry O'Sullivan Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Table constraints, Explanation generation, Functional dependencies
34Lengning Liu, Miroslaw Truszczynski Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search
34Alain Colmerauer, Thi-Bich-Hanh Dao Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF complexity, constraints, trees, first order logic, expressiveness
33Vic 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
33Nathan 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
33Corinne 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
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
32Muhammed 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
32Leonid 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
32Thibaut Feydy, Peter J. Stuckey Propagating systems of dense linear integer constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Gauss-Jordan elimination, Fourier elimination, Interval arithmetic, Constraint propagation, Linear constraints
32Roberto Rossi 0002, Armagan Tarim, Brahim Hnich, Steven D. Prestwich A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Global chance-constraints, Stochastic inventory control, Non-stationary (R,S) policy, Uncertainty
32Krzysztof R. Apt, Peter Zoeteweij An Analysis of Arithmetic Constraints on Integer Intervals. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Arithmetic constraints, Integer interval arithmetic, Constraint propagation, Local consistency
32Khaled M. Elbassioni, Irit Katriel Multiconsistency and Robustness with Global Constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Multi-consistency, Alldifferent, Global cardinality constraint, Global constraints, Arc-consistency, Filtering algorithms, Robust solutions
32Shing-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
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
31Christof Lutteroth, Robert Strandh, Gerald Weber Domain Specific High-Level Constraints for User Interface Layout. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Auckland Layout Model, Constraint, GUI
31Kenil C. K. Cheng, Roland H. C. Yap Applying Ad-hoc Global Constraints with the case Constraint to Still-Life. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Still-life problem, Ad-hoc constraint, Non-binary constraint, Modeling, Binary decision diagram
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
31Hiroshi 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
30Francesca Rossi 0001, Alessandro Sperduti Acquiring Both Constraint and Solution Preferences in Interactive Constraint Systems. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF learning, user interaction, soft constraints
30Martin Henz, Roland H. C. Yap, Yun Fong Lim, 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
30Abdullah 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
30Samy 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
30Lo 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
30Markus 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
30Ding 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
29Neil 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
29Juan 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
28Carlos 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
28Willem 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
28Mark 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
28Gail-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
28Amitvikram 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
28Bill 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
28Chiu 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
28Mark 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
28Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan Distributed constraint satisfaction with partially known constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Distributed CSPs, Asynchronous search, Privacy, Entropy
28Fré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
27Iddo 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
27Dzung 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
27Oscar 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
27Camé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
27Jitendra 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
27Helmut Simonis Models for Global Constraint Applications. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Industrial programming, Constraint programming, Global constraints
27Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau A Cost-Regular Based Hybrid Column Generation Approach. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hybrid OR/CP methods, CP-based column generation, employee timetabling, branch and price, optimization constraints
27Martin C. Cooper High-Order Consistency in Valued Constraint Satisfaction. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF discrete optimisation, valued constraint satisfaction, consistency enforcing, MAX-CSP, soft constraints
27Petr 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 An Int. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF unary resource, scheduling, global constraints, alternatives
27Wolfgang 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
27Vijay 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
27Michael A. Trick A Dynamic Programming Approach for Consistency and Propagation for Knapsack Constraints. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF knapsack constraints, dynamic programming, global constraints
27Massimo 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
26Michael 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
26Ioannis Tsamardinos, Thierry Vidal, Martha E. Pollack CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF constraint-based planning, conditional planning, temporal reasoning
26Adam 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
26Jinjun 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
26Chan-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
26Martin C. Cooper Constraints Between Distant Lines in the Labelling of Line Drawings of Polyhedral Scenes. Search on Bibsonomy Int. J. Comput. Vis. 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
26Jildou 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
26Yiu-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
26Hilderick 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
26Wenfei 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
26Joachim 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
26Sebastian Will, Anke Busch, Rolf Backofen Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Cluster tree elimination, Dynamic programming, Sequence alignment
26Nicolas Beldiceanu, Pierre Flener, Xavier Lorca Combining Tree Partitioning, Precedence, and Incomparability Constraints. Search on Bibsonomy Constraints An Int. J. 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
26Xuan 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
26Roie Zivan, Amnon Meisels Asymmetric Distributed Constraints Satisfaction Problems. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Laks 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
26Salvador Robles Herrera, Martine Ceberio, Vladik Kreinovich Computing the Range of a Function-of-Few-Linear-Combinations Under Linear Constraints: A Feasible Algorithm. Search on Bibsonomy Uncertainty, Constraints, and Decision Making The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Sibylle Hess Matrix Factorization with Binary Constraints. Search on Bibsonomy Mach. Learn. under Resour. Constraints Vol. 1 (1) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Chitta Baral, Martine Ceberio, Vladik Kreinovich How Neural Networks (NN) Can (Hopefully) Learn Faster by Taking into Account Known Constraints. Search on Bibsonomy Decision Making under Constraints The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Winnifried Wollner A Priori Error Estimates for Optimal Control Problems with Constraints on the Gradient of the State on Nonsmooth Polygonal Domains. Search on Bibsonomy Control and Optimization with PDE Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Kenil C. K. Cheng, Roland H. C. Yap An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer 06401 Abstracts Collection - Complexity of Constraints. Search on Bibsonomy Complexity of Constraints The full citation details ... 2006 DBLP  BibTeX  RDF
26Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer 06401 Executive Summary - Complexity of Constraints. Search on Bibsonomy Complexity of Constraints The full citation details ... 2006 DBLP  BibTeX  RDF
26Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens 05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
26Victor W. Marek, Jeffrey B. Remmel Normal Form Theorem for Logic Programs with Cardinality Constraints. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 56690 (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 L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license