|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
Displaying result #101 - #200 of 56690 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|