Search results for "Constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski	05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
26	Philippe Codognet	The Virtuality of Constraints and the Constraints of Virtuality.	Constraints An Int. J.	1997	DBLP DOI BibTeX RDF
26	Björn Carlson, Vineet Gupta 0001, Tad Hogg	Controlling Agents in Smart Matter with Global Constraints.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
26	Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Constraints and Agents for a Decentralized Network Infrastructure.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
26	Marc Torrens, Rainer Weigel, Boi Faltings	Java Constraint Library: bringing constraints technology on the Internet using the Java language.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
26	Leo Obrst	Constraints and Agents in MADE-smart.	AAAI Workshop: Constraints & Agents	1997	DBLP BibTeX RDF
26	Xubo Zhang, Z. Meral Özsoyoglu	Reasoning with Implication and Referential Constraints in Semantic Query Optimization.	ILPS Workshop: Constraints and Databases	1994	DBLP BibTeX RDF
26	V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel	On Logical Constraints in Logic Programming.	ILPS Workshop: Constraints and Databases	1994	DBLP BibTeX RDF
26	Laurent Fribourg, Marcos Veloso Peixoto	Bottom-Up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetic Constraints.	ILPS Workshop: Constraints and Databases	1994	DBLP BibTeX RDF
26	Raghu Ramakrishnan 0001	Constraints And Databases: Creating The Right Image.	ILPS Workshop: Constraints and Databases	1994	DBLP BibTeX RDF
25	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Soft concurrent constraint programming.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Constraints, soft constraints, concurrent constraint programming
25	Ghassan Kwaiter	A General Approach to Constraint Solving for Declarative Modeling Domain.	IV	1999	DBLP DOI BibTeX RDF	Hierarchical Constraints and Intervals Propagation, Constraint Satisfaction Problem, Declarative Modeling, Dynamical Constraints
25	Roie Zivan, Moshe Zazone, Amnon Meisels	Min-domain retroactive ordering for Asynchronous Backtracking.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Ordering heuristics, Search, Distributed constraints satisfaction
25	Peter Nightingale	Non-binary quantified CSP: algorithms and modelling.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	QCSP, Quantified constraints, Reasoning algorithm, Modelling, Propagation algorithm
25	Martin C. Cooper	Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Valued constraint satisfaction problem, Majority operation, Optimal soft arc consistency, Linear programming, Soft constraints, Discrete optimization, Submodularity
25	Irit Katriel, Sven Thiel	Complete Bound Consistency for the Global Cardinality Constraint.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	global cardinality constraint, matching, graph algorithms, flow, constraint propagation, global constraints, arc consistency, filtering algorithms, bound consistency
25	Pearl Pu, Boi Faltings	Decision Tradeoff Using Example-Critiquing and Constraint Programming.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	constructive preference elicitation, preference revision, agile preference model, preference-based search, user-involved decision tradeoff, example critiquing interfaces, user studies, configuration, soft constraints, electronic catalogs
25	Javier Larrosa, Rina Dechter	Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	bucket elimination, constraint satisfaction, branch and bound, soft constraints, constraint optimization
25	Sebti Foufou, Dominique Michelucci, Jean-Paul Jurzak	Numerical decomposition of geometric constraints.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	constraints decomposition and solving, geometry provers, geometric constraints
25	Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan	Modeling and detecting the cascade vulnerability problem using soft constraints.	SAC	2004	DBLP DOI BibTeX RDF	security, constraints, multilevel security, soft constraints
25	Amit Basu, Robert W. Blanning	Discovering implicit integrity constraints in rule bases using metagraphs.	HICSS (3)	1995	DBLP DOI BibTeX RDF	implicit integrity constraints, metagraphs, graph formalism, if-then rules, metagraph representation, knowledge representation, graph theory, data integrity, knowledge based systems, knowledge based system, decision support systems, DSS, problem solving, integrity constraints, domain knowledge, rule bases, rule base
25	Stefan Ronngren, Behrooz A. Shirazi	Static multiprocessor scheduling of periodic real-time tasks with precedence constraints and communication costs.	HICSS (2)	1995	DBLP DOI BibTeX RDF	static multiprocessor scheduling, periodic real-time tasks, large task sets, exclusion relation, heuristic scheduling algorithms, clustering, real-time systems, resource allocation, NP-complete, multiprocessing systems, communication complexity, mutual exclusion, processor scheduling, timing constraints, task allocation, communication costs, precedence constraints, multiprocessor architecture, precedence relations, scheduling methods
24	Alessandro Zanarini, Gilles Pesant	Solution counting algorithms for constraint-centered search heuristics.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Solution counting, Regular constraint, Alldifferent constraint, Heuristic search
24	Andrea M. Goncher	Creativity under constraints: the affect of problem space on design learning among engineering students.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	constraints, creativity, engineering design
24	Xueping Zhang, Jiayao Wang, Hongmei Zhang, Jianzhong Guo, Xiaoqing Li	Spatial clustering with obstacles constraints using particle swarm optimization.	Infoscale	2007	DBLP DOI BibTeX RDF	MAKLINK graph, obstructed distance, particle swarm optimization, spatial clustering, obstacles constraints
24	Janice Warner, Vijayalakshmi Atluri	Inter-instance authorization constraints for secure workflow management.	SACMAT	2006	DBLP DOI BibTeX RDF	security, work flow, authorization constraints
24	Keki M. Burjorjee, Jordan B. Pollack	A general coarse-graining framework for studying simultaneous inter-population constraints induced by evolutionary operations.	GECCO	2006	DBLP DOI BibTeX RDF	genetic algorithms, constraints, schema theory, coarse-graining
24	Sergio Flesca, Sergio Greco, Ester Zumpano	Active integrity constraints.	PPDP	2004	DBLP DOI BibTeX RDF	logic programming, integrity constraints, inconsistent database
24	Peter Buneman, Wenfei Fan, Scott Weinstein	Interaction between path and type constraints.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	types, integrity constraints, semistructured data, implication
24	Stephan Flake	Real-Time Constraints with the OCL (position paper).	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Object Constraint Language, Real-Time Constraints
24	Dietmar Seipel, Ulrich Geske	Cardinality Constraints in Disjunctive Deductive Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF	hyperresolution, constraint logic programming, disjunctive logic programming, cardinality constraints
24	Alberto Belussi, Mauro Negri, Giuseppe Pelagatti	An integrity constraints driven system for updating spatial databases.	ACM-GIS	2000	DBLP DOI BibTeX RDF	spatial integrity constraints, update, spatial data
24	Wolfgang Förstner	On Weighting and Choosing Constraints for Optimally Reconstructing the Geometry of Image Triplets.	ECCV (2)	2000	DBLP DOI BibTeX RDF	image triplets, trilinear constraints, calibration, orientation, optimal estimation
24	Alexander Koller, Joachim Niehren, Ralf Treinen	Dominance Constraints: Algorithms and Complexity.	LACL	1998	DBLP DOI BibTeX RDF	Dominance constraints, complexity, constraint programming, computational linguistics, underspecification
24	David Kurlander, Steven Feiner	Inferring Constraints from Multiple Snapshots.	ACM Trans. Graph.	1993	DBLP DOI BibTeX RDF	empirical learning, constraints, graphical editing
24	Parke Godfrey, Jarek Gryz, Calisto Zuzarte	Exploiting Constraint-Like Data Characterizations in Query Optimization.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
24	Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal	New filtering algorithms for combinations of among constraints.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Domain consistency, Polynomial time filtering, Car sequencing, Regular constraint, Sequence constraint
24		Introduction.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
24	Phokion G. Kolaitis, Moshe Y. Vardi	A Logical Approach to Constraint Satisfaction.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
24	Francesco Bonchi, Claudio Lucchese	Pushing Tougher Constraints in Frequent Pattern Mining.	PAKDD	2005	DBLP DOI BibTeX RDF
24	José Galindo, Angélica Urrutia, Ramón Alberto Carrasco, Mario Piattini	Relaxing constraints in enhanced entity-relationship models using fuzzy quantifiers.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
24	Joachim Niehren, Mateu Villaret	Parallelism and Tree Regular Constraints.	LPAR	2002	DBLP DOI BibTeX RDF	unification, tree automata, computational logic
24	Wenfei Fan, Jérôme Siméon	Integrity Constraints for XML.	PODS	2000	DBLP DOI BibTeX RDF
24	Guy Bois, Eduard Cerny	Efficient generation of diagonal constraints for 2-D mask compaction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
24	Clement T. Yu, Wei Sun 0002	Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	database states, statistic integrity constraints, dynamic integrity constraints, join predicates, constraints, knowledge based systems, knowledge acquisition, knowledge acquisition, database management systems, maintenance, semantic query optimization, interactive tool, automatic tool
23	Miguel A. Salido, Federico Barber	Disjunction of Non-binary and Numeric Constraint Satisfaction Problems.	CCIA	2002	DBLP DOI BibTeX RDF	non-binary constraints, Disjunctive constraints, CSPs
23	Carl K. Chang, Yi-Te Tseng, Ugo A. Buy	Compiling process algebraic specifications into timed automata.	COMPSAC	1997	DBLP DOI BibTeX RDF	Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems
23	Ten H. Tzen, Lionel M. Ni	Dependence Uniformization: A Loop Parallelization Technique.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	data dependence uniformisation, doubly nested loop, irregulardependence constraints, parallel programming, loop parallelization, parallelalgorithms, synchronization method, dependence constraints
23	Frédéric Goualard, Christophe Jermann	A Reinforcement Learning Approach to Interval Constraint Propagation.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Interval propagation, Reinforcement learning, Numerical constraints
23	Owen Bourne, Abdul Sattar 0001, Scott D. Goodwin	A Constraint-Based Autonomous 3D Camera System.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	3D autonomous camera, Cinematic constraints, Camera control
23	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh	Filtering Algorithms for the NValueConstraint.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	NValue constraint, AtleastNValue, AtMostNValue, NP-hard, pruning, global constraints, linear relaxation
23	Pascal Van Hentenryck, Laurent Michel, Liyuan Liu	Contraint-Based Combinators for Local Search.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	constraints languange, logical and cardinality combinators, differential objects, first-class expressions, search procedure, local search, reification
23	Claude-Guy Quimper, Alexander Golynski, Alejandro López-Ortiz, Peter van Beek	An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	domain consistency, global constraints, bounds consistency
23	Guillem Godoy, Robert Nieuwenhuis	Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	symbolic constraints, built-in theories, automated deduction, term orderings
23	David A. Cohen, Peter Jeavons 0001, Richard Gault	New Tractable Classes From Old.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	tractable classes, disjunctive constraints, complexity, constraint satisfaction problems
23	Vaithilingam Jeyakumar, N. Q. Huy	Global minimization of difference of quadratic and convex functions over box or binary constraints.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Quadratic non-convex minimization, Box constraints, 0/1 Constraints, Sufficient conditions, Necessary optimality conditions, Concave minimization
23	John Kodumal, Alex Aiken	Regularly annotated set constraints.	PLDI	2007	DBLP DOI BibTeX RDF	annotated inclusion constraints, pushdown model checking, flow analysis, set constraints, context-free language reachability
23	Samy Ait-Aoudia, Brahim Hamid, Adel Moussaoui, Toufik Saadi	Solving Geometric Constraints by a Graph-Constructive Approach.	IV	1999	DBLP DOI BibTeX RDF	graph-based solver, over- and under-constrained schemes, Computer aided design, constraints solving, geometric constraints
23	Yoshihiro Yasumuro, Qian Chen 0001, Kunihiro Chihara	3-D Modeling of Human Hand with Motion Constraints.	3DIM	1997	DBLP DOI BibTeX RDF	motion constraints, natural constraints, digitized 3D shape, computer animation, 3D modeling, dynamic model, surface model, human hand
23	Antonio Garrido 0002, Marlene Arangú, Eva Onaindia	A constraint programming formulation for planning: from plan scheduling to plan generation.	J. Sched.	2009	DBLP DOI BibTeX RDF	Scheduling, Integration, Constraints, Planning, Constraint programming
23	Brad T. Vander Zanden, Brad A. Myers, Dario A. Giuse, Pedro A. Szekely	Integrating Pointer Variables into One-Way Constraint Models.	ACM Trans. Comput. Hum. Interact.	1994	DBLP DOI BibTeX RDF	constraints, development tools, incremental algorithms, Garnet
22	Hubie Chen	Periodic Constraint Satisfaction Problems: Tractable Subclasses.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	periodic problems, polynomial-time algorithms
22	Christophe Ringeissen, Éric Monfroy	Generating Propagation Rules for Finite Domains: A Mixed Approach.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
22	Yvette Teiken, Stefan Brüggemann, Hans-Jürgen Appelrath	Interchangeable consistency constraints for public health care systems.	SAC	2010	DBLP DOI BibTeX RDF	consistency constraints, knowledge representation, medical informatics, domain ontologies, domain specific modeling
22	Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ruth Raventós, Ernest Teniente	Improving the definition of general constraints in UML.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Conceptual modeling, Integrity constraints, UML profile
22	Yue Yu 0002, Shangping Ren, Ophir Frieder	Interval-Based Timing Constraints Their Satisfactions and Applications.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	interval based timing constraints, satisfaction probability, event occurrence, normal distribution, exponential distribution
22	Abhijit Jas, Yi-Shing Chang, Sreejit Chakravarty	A Methodology for Handling Complex Functional Constraints for Large Industrial Designs.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Untestability analysis, Pseudo-functional tests, Functional constraints
22	Zarina Dzolkhifli, Hamidah Ibrahim, Lilly Suriani Affendey	Data caching strategies for checking integrity constraints of mobile database.	iiWAS	2008	DBLP DOI BibTeX RDF	checking integrity constraints, data caching, mobile databases
22	Fei Han 0001, Qing-Hua Ling	A New Learning Algorithm for Function Approximation by Encoding Additional Constraints into Feedforward Neural Network.	ICIC (3)	2007	DBLP DOI BibTeX RDF	additional constraints, Function approximation, feedforward neural network
22	Lilong Han, Qingtang Liu, Zongkai Yang	Authorization Constraints Specification of RBAC.	WISA	2007	DBLP DOI BibTeX RDF	RCL2000, DSOD, Constraints, RBAC, SOD
22	Shinichi Kouda, Chikaaki Kodama, Kunihiro Fujiyoshi	Improved method of cell placement with symmetry constraints for analog IC layout design.	ISPD	2006	DBLP DOI BibTeX RDF	symmetry constraints, linear programming, placement, analog circuits, sequence-pair
22	Alun D. Preece, Stuart W. Chalmers, Craig McKenzie, Jeff Z. Pan, Peter M. D. Gray	A semantic web approach to handling soft constraints in virtual organisations.	ICEC	2006	DBLP DOI BibTeX RDF	semantic web, virtual organisations, soft constraints
22	James Joshi, Basit Shafiq, Arif Ghafoor, Elisa Bertino	Dependencies and separation of duty constraints in GTRBAC.	SACMAT	2003	DBLP DOI BibTeX RDF	security, role based access control, temporal constraints, separation of duty, cardinality constraint
22	Minos N. Garofalakis, Rajeev Rastogi, Kyuseok Shim	Mining Sequential Patterns with Regular Expression Constraints.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	Data mining, constraints, regular expressions, finite automata, sequential patterns
22	Carson Kai-Sang Leung, Laks V. S. Lakshmanan, Raymond T. Ng	Exploiting succinct constraints using FP-trees.	SIGKDD Explor.	2002	DBLP DOI BibTeX RDF	data mining, constraints, FP-trees, frequent sets, succinctness
22	Daqing Hou, H. James Hoover	Towards Specifying Constraints for Object-Oriented Frameworks.	Inf. Syst. Frontiers	2002	DBLP DOI BibTeX RDF	framework constraints, FCL checker, object-oriented frameworks, FCL
22	José Galindo, Angélica Urrutia, Ramón Alberto Carrasco, Mario Piattini	Fuzzy Constraints using the Enhanced Entity-Relationship Model.	SCCC	2001	DBLP DOI BibTeX RDF	Conceptual Database Design, Fuzzy Conceptual Modeling, Extended (or Enhanced) Entity-Relationship Model, Fuzzy Databases, Fuzzy Constraints
22	Hui Wu 0001, Joxan Jaffar, Roland H. C. Yap	A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors.	IEEE PACT	2000	DBLP DOI BibTeX RDF	inter-instructional latency, instruction scheduling, feasible schedule, deadline constraints
22	Elisa Bertino, Elena Ferrari, Vijayalakshmi Atluri	The Specification and Enforcement of Authorization Constraints in Workflow Management Systems.	ACM Trans. Inf. Syst. Secur.	1999	DBLP DOI BibTeX RDF	role and user planning, access control, authorization constraints
22	Anne Doucet, Stéphane Gançarski, Claudia León, Marta Rukoz	Nested Transactions with Integrity Constraints.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF	partial abort, integrity constraints, nested transactions
22	Shigeo Takahashi	Variational design of curves and surfaces using multiresolution constraints.	Vis. Comput.	1998	DBLP DOI BibTeX RDF	Multiresolution constraints, Smooth curves and surfaces, Endpoint-interpolating B-spline wavelets, Interactive 3D graphics, Variational modeling
22	Gus Lopez, Bjørn N. Freeman-Benson, Alan Borning	Constraints and Object Identity.	ECOOP	1994	DBLP DOI BibTeX RDF	constraint imperative programming, Kaleidoscope, constraints, aliasing, object identity
22	Hubert Dubois, Hélène Kirchner	Rule Based Programming with Constraints and Strategies.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
22	Sonia Estévez Martín, Antonio J. Fernández 0001, Fernando Sáenz-Pérez	Playing with TOY: Constraints and Domain Cooperation.	ESOP	2008	DBLP DOI BibTeX RDF
22	Klas Nordberg	Point Matching Constraints in Two and Three Views.	DAGM-Symposium	2007	DBLP DOI BibTeX RDF
22	Shuvendu K. Lahiri, Madanlal Musuvathi	Solving Sparse Linear Constraints.	IJCAR	2006	DBLP DOI BibTeX RDF
22	Markus Bohlin	A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints.	INAP/WLP	2004	DBLP DOI BibTeX RDF
22	Miguel A. Salido, Federico Barber	Distributed Non-binary Constraints.	CAEPIA	2003	DBLP DOI BibTeX RDF
22	Gösta Grahne, Alex Thomo	Query containment and rewriting using views for regular path queries under constraints.	PODS	2003	DBLP DOI BibTeX RDF
22	Francesco Buccafurri, Nicola Leone, Pasquale Rullo	Enhancing Disjunctive Datalog by Constraints.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	computational complexity, knowledge representation, deductive databases, Nonmonotonic reasoning, disjunctive datalog
22	David Liebowitz, Andrew Zisserman	Combining Scene and Auto-Calibration Constraints.	ICCV	1999	DBLP DOI BibTeX RDF
21	Ali Amer Alwan, Hamidah Ibrahim, Nur Izura Udzir	Ranking and selecting integrity tests in a distributed database.	iiWAS	2009	DBLP DOI BibTeX RDF	integrity constraints checking, distributed database, integrity constraints, integrity tests
21	Ling Wang 0004, Yingtao Jiang, Henry Selvaraj	Scheduling and Partitioning Schemes for Low Power Designs Using Multiple Supply Voltages.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	multiple supply voltages, scheduling, low power, partitioning, timing constraints, resource constraints
21	C. Karen Liu, Zoran Popovic	Synthesis of complex dynamic character motion from simple animations.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	animation w/constraints, motion transformation, animation, physically based modeling, physically based animation, spacetime constraints
21	Ann Q. Gates, Patricia J. Teller	DynaMICs: An Automated and Independent Software-FaultDetection Approach.	HASE	1999	DBLP DOI BibTeX RDF	software-fault detection, software-fault monitoring, hardware-assisted monitoring, constraints, tracing, integrity constraints, verification and validation
21	Jia-Ching Cheng, José M. F. Moura	Tracking Human Walking in Dynamic Scenes.	ICIP (1)	1997	DBLP DOI BibTeX RDF	human walking, human representation, rigid parts, recognition scheme, period estimation, human posture, kinematic constraints, articulated human body, algorithm testing, real video, tracking, tracking, video sequence, human motion, dynamic scenes, model-based approach, human body, periodic motion, joints, dynamic constraints, phase estimation
21	Chanjung Park, Seog Park	A multiversion locking protocol for real-time databases with multilevel security.	RTCSA	1996	DBLP DOI BibTeX RDF	multiversion locking protocol, processes transactions, explicit timing constraints, logical data consistency, compatibility matrix, version selection algorithm, data integrity, timing constraints, multilevel security, real-time databases, temporal consistency
21	Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij	The MSP.RTL real-time scheduler synthesis tool.	RTSS	1996	DBLP DOI BibTeX RDF	MSP RTL real time scheduler synthesis tool, scheduler synthesis algorithm, real time scheduling problem, temporal constraint satisfaction problem, temporal constraint graph, input timing specification, incremental positive cycle detection algorithm, real time scheduling theory, Boeing 777 Integrated Airplane Information Management System, AIMS, constraint satisfaction, processor scheduling, timing constraints, resource constraints, application domains, search strategies, cyclic schedules, feasible schedule, timing semantics, real time logic
21	Tapas Kanungo, David M. Gay, Robert M. Haralick	Constrained monotone regression of ROC curves and histograms using splines and polynomials.	ICIP	1995	DBLP DOI BibTeX RDF	monotonically decreasing curves, single valued functions, parametric splines, parametric polynomials, monotonicity constraints, optimal operating points, cumulative density functions, monotonic splines, fitted spline function, end-point constraints, constrained monotone regression problem, mathematical programming language, AMPL, programming languages, statistical analysis, histograms, mathematical programming, curve fitting, curve fitting, splines (mathematics), receivers, ROC curves, receiver operating characteristics, parametric representation, density functions, closed form
21	M. Hakan Erdogmus, Robert Johnston	On the Specification and Synthesis of Communicating Processes.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	objective methodology, state-machine-type process descriptions, common problem, central module, specific distributed system configuration, formal specification, parallel programming, automatic programming, communicating processes, high-level specifications, algebraic operators, behavioral constraints, behavioral constraints