|
|
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 |
19 | Fabio Casati, Silvana Castano, Maria Grazia Fugini |
Managing Workflow Authorization Constraints through Active Database Technology. |
Inf. Syst. Frontiers |
2001 |
DBLP DOI BibTeX RDF |
workflows, authorizations, roles, active databases, triggers, authorization constraints |
19 | Xuan Liu, Shashi Shekhar, Sanjay Chawla |
Consistency checking for Euclidean spatial constraints: a dimension graph approach. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
Euclidean spatial constraints, dimension graph approach, graph cycle detection, spatial predicates, two-dimensional space, computational complexity, computational geometry, transforms, polygons, consistency checking, intervals, space complexity, spatial objects |
19 | Vittorio Brusoni, Luca Console, Paolo Terenziani, Barbara Pernici |
Qualitative and Quantitative Temporal Constraints and Relational Databases: Theory, Architecture, and Applications. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
temporal relational databases, temporal constraint propagation, qualitative and quantitative temporal constraints, Artificial intelligence, integration, temporal reasoning |
19 | F. J. Daniels, Kuo-Chung Tai |
Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
Object-oriented intra-class testing, Method sequences, Sequencing constraints |
19 | Anne H. H. Ngu |
Specification of Cooperative Constraints in Virtual Enterprise Workflow. |
RIDE |
1999 |
DBLP DOI BibTeX RDF |
Workflows, Virtual Enterprise, Constraints Specification |
19 | Martin Müller, Susumu Nishimura |
Type Inference for First-Class Messages with Feature Constraints. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
first-class messages, feature constraints, complexity, object-oriented programming, constraint-based type inference |
19 | Vera Pless |
Constraints on Weights in Binary Codes. |
Appl. Algebra Eng. Commun. Comput. |
1997 |
DBLP DOI BibTeX RDF |
Singly-even, Doubly-even, Constraints, Weights |
19 | Gabriella Convertino, Ettore Stella, Antonella Branca, Arcangelo Distante |
Optic flow estimation by a Hopfield neural network using geometrical constraints. |
Mach. Vis. Appl. |
1997 |
DBLP DOI BibTeX RDF |
Trajectory geometric constraints, Optical flow, Hopfield neural network, Features Matching |
19 | Ann Q. Gates, C. Kubo Della-Piana |
The identification of integrity constraints in requirements for context monitoring. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
application-specific knowledge, specialized knowledge, software engineering, formal specification, requirements, integrity constraints, development team, context monitoring |
19 | Guy W. Mineau, Rokia Missaoui |
The Representation of Semantic Constraints in Conceptual Graph Systems. |
ICCS |
1997 |
DBLP DOI BibTeX RDF |
conceptual graph theory, semantics, semantic constraints |
19 | Minsoo Ryu, Seongsoo Hong, Manas Saksena |
Streamlining real-time controller design: From performance specifications to end-to-end timing constraints. |
IEEE Real Time Technology and Applications Symposium |
1997 |
DBLP DOI BibTeX RDF |
real-time controller design, performance specifications, end-to-end timing constraints, control theoretic approach, schedulability constraint, control output responses, steady state error maximum overshoot, rise time, loop processing periods, input-to-output latency, heuristic optimization algorithm, embedded real-time controller, period calibration method, real-time systems, performance requirements, control performance, real-time control system, temporal requirements, settling time |
19 | Javier Orozco, Ricardo Cayssials, Jorge Santos 0002, Edgardo Ferro |
Precedence constraints in hard real-time distributed systems. |
ICECCS |
1997 |
DBLP DOI BibTeX RDF |
hard real-time distributed systems, multitask-multiprocessor systems, taxonomic genus, tentative assignment, formally proved method, tentative assignments, real-time systems, NP-complete problem, precedence constraints |
19 | Rajesh K. Gupta 0001 |
A framework for interactive analysis of timing constraints in embedded systems. |
CODES |
1996 |
DBLP DOI BibTeX RDF |
constraint satisfiability, performance evaluation, real-time systems, embedded systems, timing, computability, logic design, satisfiability, timing constraints, interactive analysis, timing performance |
19 | Jocelyne Farhat-Gissler, Isabelle M. Demeure |
Automatic Scheduling of Applications with Temporal QoS Constraints: A Case Study. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
automatic scheduling, temporal QoS constraints, scheduling framework, geostationary satellite application, cooperative scheduling system, scheduling scenarios, software quality, dependency graphs |
19 | Jan Chomicki |
Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. |
ACM Trans. Database Syst. |
1995 |
DBLP DOI BibTeX RDF |
temporal logic, temporal databases, integrity constraints, active databases, database integrity, triggers, real-time databases |
19 | Demetri Terzopoulos, Hong Qin 0001 |
Dynamic NURBS with geometric constraints for interactive sculpting. |
ACM Trans. Graph. |
1994 |
DBLP DOI BibTeX RDF |
cross-sectional shape design, optimal curve and surface fitting, shape metamorphosis, solid rounding, constraints, dynamics, deformable models, finite elements, NURBS, free-form deformation, CAGD, trimming |
19 | Udo W. Lipeck |
Transformation of Dynamic Integrity Constraints into Transaction Specifications. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
pre/postconditions, constraint simplification, integrity, monitoring, temporal logic, transactions, dynamic constraints, transition graphs |
19 | Anthony C. Klug |
Calculating Constraints on Relational Expressions. |
ACM Trans. Database Syst. |
1980 |
DBLP DOI BibTeX RDF |
eompleteness, constraints, Views, functional dependencies, derivation rules |
19 | Tiziana Ligorio, Susan L. Epstein |
Partial Redundant Modeling. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
19 | C. E. Miller, Albert W. Tucker, R. A. Zemlin |
Integer Programming Formulation of Traveling Salesman Problems. |
J. ACM |
1960 |
DBLP DOI BibTeX RDF |
|
18 | Guilan Dai, Rujuan Liu, Chongchong Zhao, Changjun Hu |
Timing Constraints Specification and Verification for Web Service Compositions. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Ravi D. Shankar, Susana B. Martins, Martin J. O'Connor, David B. Parrish, Amar K. Das |
Representing and Reasoning with Temporal Constraints in Clinical Trials Using Semantic Technologies. |
BIOSTEC (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
Ontology, Semantic Web, OWL, temporal reasoning, clinical trials, biomedical informatics |
18 | Yi Hong 0002, Sam Kwong, Hui Xiong 0001, Qingsheng Ren |
Genetic-guided semi-supervised clustering algorithm with instance-level constraints. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
genetic algorithms, semi-supervised clustering |
18 | Sami Al-Maqtari, Habib Abdulrab |
Controller Agents for Constraints Solving: Implementation and Use of CACS Prototype. |
ICTAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Shinichi Koda, Chikaaki Kodama, Kunihiro Fujiyoshi |
Linear Programming-Based Cell Placement With Symmetry Constraints for Analog IC Layout. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Martin Sachenbacher, Brian C. Williams |
Conflict-Directed A* Search for Soft Constraints. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Mira Balaban, Azzam Maraee |
Consistency of UML Class Diagrams with Hierarchy Constraints. |
NGITS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Donglin Liu, Xiaobo Sharon Hu, Michael D. Lemmon, Qiang Ling |
Scheduling Tasks with Markov-Chain Based Constraints. |
ECRTS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Yongzhi Liu, Qiyue Zou, Zhiping Lin 0001 |
Generalized sidelobe cancellers with leakage constraints. |
ISCAS (4) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge |
Specification and Validation of Authorisation Constraints Using UML and OCL. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Unil Yun, John J. Leggett |
WLPMiner: Weighted Frequent Pattern Mining with Length-Decreasing Support Constraints. |
PAKDD |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Krishna Gade, Jianyong Wang 0001, George Karypis |
Efficient closed pattern mining in the presence of tough block constraints. |
KDD |
2004 |
DBLP DOI BibTeX RDF |
block constraint, tough constraint, closed pattern |
18 | Sanja Petrovic, Vijay Patel, Yong Yang 0004 |
Examination Timetabling with Fuzzy Constraints. |
PATAT |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Hongchen Li, Yun Yang 0001 |
Verification of Temporal Constraints for Concurrent Workflows. |
APWeb |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Hua Wang 0002, Yanchun Zhang, Jinli Cao, Jian Yang |
Specifying Role-Based Access Constraints with Object Constraint Language. |
APWeb |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Joachim Biskup, Torsten Polle |
Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. |
Acta Informatica |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Markus Bohlin |
Improving Cost Calculations for Global Constraints in Local Search. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Lih-Yang Wang, Yen-Tai Lai |
Graph-theory-based simplex algorithm for VLSI layout spacingproblems with multiple variable constraints. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Wenfei Fan, Leonid Libkin |
On XML Integrity Constraints in the Presence of DTDs. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Calvin Ko, Paul Brutch, Jeff Rowe, Guy Tsafnat, Karl N. Levitt |
System Health and Intrusion Monitoring Using a Hierarchy of Constraints. |
Recent Advances in Intrusion Detection |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Gail-Joon Ahn, Michael E. Shin |
Role-Based Authorization Constraints Specification Using Object Constraint Language. |
WETICE |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Hideki Sato, Akifumi Makinouchi |
Temporal Constraints for Object Migration and Behavior Modeling Using Colored Petri Nets. |
ER |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Nikos Canterakis |
A Minimal Set of Constraints for the Trivocal Tensor. |
ECCV (1) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Philippe Blache |
Constraints, Linguistic Theories and Natural Language Processing. |
Natural Language Processing |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Aaron G. Cass, Leon J. Osterweil |
Design Guidance through the Controlled Application of Constraints. |
IWSSD |
2000 |
DBLP BibTeX RDF |
|
18 | Joachim Niehren, Martin Müller 0001, Jean-Marc Talbot |
Entailment of Atomic Set Constraints is PSPACE-Complete. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Guy W. Mineau |
Constraints on Processes: Essential Elements for the Validation and Execution of Processes. |
ICCS |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Peter J. Stuckey, S. Sudarshan 0001 |
Compiling Query Constraints. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Alexander Brodsky 0001, Yehoshua Sagiv |
Inference of Monotonicity Constraints in Datalog Programs. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
Datalog |
18 | James P. Delgrande |
Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints. |
PODS |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Victor Vianu |
Dynamic Constraints and Database Evolution. |
PODS |
1983 |
DBLP DOI BibTeX RDF |
|
18 | Roman Barták, Roman Mecl |
Implementing Propagators for Tabular Constraints. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan |
Tradeoff Generation Using Soft Constraints. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou |
Towards Automated Reasoning on the Properties of Numerical Constraints. |
International Workshop on Constraint Solving and Constraint Logic Programming |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Waltraud Huyer, Arnold Neumaier |
SNOBFIT - Stable Noisy Optimization by Branch and Fit. |
ACM Trans. Math. Softw. |
2008 |
DBLP DOI BibTeX RDF |
derivative-free, expensive function values, hidden constraints, noisy function values, Branch-and-bound, soft constraints, surrogate model, parallel evaluation |
18 | Deborah East, Miroslaw Truszczynski |
Predicate-calculus-based logics for modeling and solving search problems. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic |
18 | Chi-Min Lin, Tien-Fu Chen |
Dynamic memory management for real-time embedded Java chips. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
storage management chips, dynamic runtime memory management, real-time embedded Java chips, CPU design, hardware-assisted scheme, dynamic garbage collection mechanism, predictable memory allocation time, data transition events, circular heap, simulation, Java, embedded systems, response time, memory architecture, memory architecture, storage allocation, coprocessors, resource constraints, real-time constraints, co-processor |
18 | Malek Mouhoub |
Reasoning about numeric and symbolic time information. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
symbolic time information, numeric time information, TemPro, qualitative temporal constraints, quantitative temporal constraints, scheduling, scheduling, real-time systems, natural language processing, planning (artificial intelligence), planning, natural languages, reasoning, temporal reasoning, temporal reasoning, real time applications, constraint propagation, constraint handling, temporal model, constraint theory, interval algebra |
18 | Denis Dion Jr., Denis Laurendeau, Robert Bergevin |
Generalized Cylinders Extraction in a Range Image. |
3DIM |
1997 |
DBLP DOI BibTeX RDF |
generalized cylinder extraction, right generalized cylinders, straightness constraints, homogeneity constraints, axis point extraction, axis curve representation, three dimensional object modeling, image segmentation, solid modelling, range image, 3D object modeling, cross-section |
18 | Jürgen Teich, Tobias Blickle, Lothar Thiele |
An evolutionary approach to system-level synthesis. |
CODES |
1997 |
DBLP DOI BibTeX RDF |
architecture selection, cost constraints, graph-based mapping model, heterogeneous hardware/software architecture, optimal mapping, performance constraints, task-level specification mapping, video-codec implementations, genetic algorithms, scheduling, memories, ASICs, design space exploration, allocation, optimization problem, binding, buses, system-level synthesis, evolutionary approach, algorithm mapping, general-purpose processors, dedicated processors |
18 | Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad |
From serializable to causal transactions for collaborative applications. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
serializable transactions, causal transactions, decentralized distributed systems, shared distributed objects, consistency criteria, execution behaviour, failure atomicity, long-lived objects, causal serializability, service quality constraints, fault tolerance, performance, protocols, groupware, availability, cooperative work, autonomy, collaborative applications, concurrent access, operating system support, synchronization constraints, causal consistency |
18 | Ari Rappoport, Alla Sheffer, Michel Bercovier |
Volume-Preserving Free-Form Solids. |
IEEE Trans. Vis. Comput. Graph. |
1996 |
DBLP DOI BibTeX RDF |
Free-form solids, free-form deformations (FFD), continuity constraints, Uzawa's algorithm, physics-based modeling, volume preservation, energy constraints |
18 | Ismael Ripoll, Ana García-Fornes, Alfons Crespo |
Optimal aperiodic scheduling for dynamic-priority systems. |
RTCSA |
1996 |
DBLP DOI BibTeX RDF |
optimal aperiodic scheduling, dynamic-priority systems, soft real-time constraints, hard real-time constraints, on-line aperiodic admission algorithm, optimal dynamic priority preemptive scheduler, shortest response time, soft aperiodic tasks, dynamic priority schedulers, firm deadline aperiodic tasks, real-time systems, fixed priority schedulers |
18 | Lina J. Karam, Christine Podilchuk |
Chroma coding for video at very low bit rates. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
luminance-chrominance coordinate space, very low bit rate video coding systems, chroma coding, coded luminance data, color motion video, fixed frame constraints, bit rate constraints, hybrid waveform coding technique, model-based component, head-and-shoulders sequence, 8 to 40 kbit/s, compression, data compression, image sequences, video coding, image colour analysis |
18 | Nikolaos D. Sidiropoulos, John S. Baras, Carlos Alberto Berenstein |
On morphological openings and closings of signals in shaped noise. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
morphological closings, shaped noise, morphologically smooth binary image signals, IID union noise, IID union clutter, IID random dropouts, morphological constraints, image processing, noise, mathematical morphology, maximum likelihood estimation, filtering theory, geometric constraints, clutter, MAP estimators, morphological filter, noise model, geometric structure, morphological openings |
18 | Kwok-Wa Lam, Kam-yiu Lam, Sheung-lun Hung |
Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
real-time optimistic concurrency control protocol, serialization order dynamic adjustment, nonserious conflicting transactions, backward-adjustment, committing transactions, transaction restarts elimination, conflict constraints, serialization constraints, read phase, priority conflict resolution methods, Thomas's write rule, real-time systems, concurrency control, transaction processing, database theory, access protocols |
18 | Ashish Mehra, Jennifer Rexford, Hock-Siong Ang, Farnam Jahanian |
Design and evaluation of a window-consistent replication service. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
back-up procedures, window-consistent primary-backup replication service, data replication protocols, bounded overhead, repository availability, consistency relaxation, controlled inconsistency, update transmission scheduling, client applications, failed primary, client loads, temporal inconsistency bounds, scheduling, fault tolerance, real-time systems, data integrity, distributed databases, timing, redundancy, redundancy, database theory, timing constraints, software fault tolerance, real-time applications, replicated databases, service guarantees, dependability constraints |
18 | Joaquim A. Jorge, Ephraim P. Glinert |
Online Parsing of Visual Languages Using Adjacency Grammars. |
VL |
1995 |
DBLP DOI BibTeX RDF |
online parsing, diagram-like visual languages, adjacency grammars, visual computing environments, incremental parsing algorithm, overlapping elements, logical constraints, linear run-times, large visual sentences, visual languages, diagrams, programming theory, graph grammars, spatial constraints, online operation, top-down methods, bottom-up methods |
18 | Ernst D. Dickmanns, Birger D. Mysliwetz |
Recursive 3-D Road and Relative Ego-State Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1992 |
DBLP DOI BibTeX RDF |
recursive 3D road curvature recognition, Intel 386, ego-state recognition, differential geometry representation, Intel 80286, VaMoRs, pattern recognition, computer vision, computer vision, computational geometry, computerised pattern recognition, temporal constraints, computerised navigation, computerised navigation, spatio-temporal model, spatial constraints, road vehicles |
18 | E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro |
The IC* Model of Parallel Computation and Programming Environment. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
IC* project, structural constraints, explicit modeling, nondeterministic evolution, dynamic activation, distributed systems, design, parallel processing, parallel computation, parallel computer, protocols, specification, programming environment, programming environments, parallel machines, communication protocols, temporal constraints |
17 | Jie Chen 0003, Bin Xin 0002, Zhihong Peng, LiHua Dou, Juan Zhang |
Evolutionary decision-makings for the dynamic weapon-target assignment problem. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
dynamic weapon-target assignment (DWTA), military command and control, evolutionary computation, decision-making, memetic algorithms, constraints handling |
17 | Lin Fu, Yuexian Hou |
Using Non-extensive Entropy for Text Classification. |
ICIC (1) |
2009 |
DBLP DOI BibTeX RDF |
Non-extensive entropy, High-level constraints, Text classification |
17 | Ronan Cummins, Colm O'Riordan |
Measuring constraint violations in information retrieval. |
SIGIR |
2009 |
DBLP DOI BibTeX RDF |
information retrieval, constraints, axioms |
17 | Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov, Martha E. Pollack |
Constraint-driven floorplan repair. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
constraints, Floorplanning, legalization |
17 | Thibaut Feydy, Andreas Schutt, Peter J. Stuckey |
Global difference constraint propagation for finite domain solvers. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
difference logic, propagation, global constraints |
17 | James P. Davis, Ronald D. Bonnell |
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, constraints, Conceptual modeling, knowledge engineering, agent-oriented software engineering, object-oriented analysis, Boolean logic |
17 | Haoxing Ren, David Z. Pan, Charles J. Alpert, Gi-Joon Nam, Paul G. Villarrubia |
Hippocrates: First-Do-No-Harm Detailed Placement. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
synthesis optimizations, Hippocrates, first-do-no-harm detailed placement, pin-based timing constraint, electrical constraints, reduced wire-length |
17 | Jin Huang 0001, Xiaohan Shi, Xinguo Liu, Kun Zhou 0001, Li-Yi Wei, Shang-Hua Teng, Hujun Bao, Baining Guo, Heung-Yeung Shum |
Subspace gradient domain mesh deformation. |
ACM Trans. Graph. |
2006 |
DBLP DOI BibTeX RDF |
projection constraint, skeletal control, volume preservation, nonlinear constraints |
17 | Nizar Grira, Michel Crucianu, Nozha Boujemaa |
Active semi-supervised fuzzy clustering for image database categorization. |
Multimedia Information Retrieval |
2005 |
DBLP DOI BibTeX RDF |
image database categorization, semi-supervised clustering, pairwise constraints |
17 | Vijayalakshmi Atluri, Janice Warner |
Supporting conditional delegation in secure workflow management systems. |
SACMAT |
2005 |
DBLP DOI BibTeX RDF |
workflow, constraints, delegation |
17 | Hui Fang 0001, Tao Tao, ChengXiang Zhai |
A formal study of information retrieval heuristics. |
SIGIR |
2004 |
DBLP DOI BibTeX RDF |
TF-IDF weighting, constraints, formal models, retrieval heuristics |
17 | Laks V. S. Lakshmanan, Carson Kai-Sang Leung, Raymond T. Ng |
Efficient dynamic mining of constrained frequent sets. |
ACM Trans. Database Syst. |
2003 |
DBLP DOI BibTeX RDF |
limited buffer space, data mining, constraints, Association rules, frequent sets, dynamic changes |
17 | Stephan Flake, Wolfgang Müller 0003 |
Specification of Real-Time Properties for UML Models. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
UML, Object Constraint Language, Real-Time Constraints, Property Specification |
17 | Paolo Terenziani |
Temporal Reasoning with Classes and Instances of Events. |
TIME |
2002 |
DBLP DOI BibTeX RDF |
Temporal constraints between classes and instances of events, Prediction, Consistency, Inheritance |
17 | Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi |
Verification Criteria for a Compositional Model for Reactive Systems. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
verification criteria, system composition/decomposition, external interface, temporal constraint propagation, structural hierarchy, missing temporal constraints, TROL, object oriented real time language, formal specification, reactive systems, compositional model, graphical notation |
17 | Jean-Pierre Thomesse, Zoubir Mammeri, L. Vega |
Time in Distributed Systems Cooperation and Communication Models. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
Distributed systems, Communication, Real-time, Time constraints |
17 | Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel |
Model-driven visualizations of constraint-based local search. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
Model-driven visualization, Constraint-based local search, Optimization algorithm |
17 | Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara |
Compiling finite linear CSP into SAT. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
SAT encoding, Open-shop scheduling problems, Constraint satisfaction problems |
17 | Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace 0001 |
The Design of the Zinc Modelling Language. |
Constraints An Int. J. |
2008 |
DBLP DOI BibTeX RDF |
Modelling, Optimisation, CSP, Constraint programming, Language design |
17 | Matthias Zytnicki, Christine Gaspin, Thomas Schiex |
DARN! A Weighted Constraint Solver for RNA Motif Localization. |
Constraints An Int. J. |
2008 |
DBLP DOI BibTeX RDF |
DARN, RNA motif localization, ncRNA |
17 | Amnon Meisels, Roie Zivan |
Asynchronous Forward-checking for DisCSPs. |
Constraints An Int. J. |
2007 |
DBLP DOI BibTeX RDF |
Distributed CSPs, Asynchronous search, Forward-checking |
17 | Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson |
Design of Financial CDO Squared Transactions Using Constraint Programming. |
Constraints An Int. J. |
2007 |
DBLP DOI BibTeX RDF |
Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming |
17 | Marco Chiarandini, Thomas Stützle |
Stochastic Local Search Algorithms for Graph Set T -colouring and Frequency Assignment. |
Constraints An Int. J. |
2007 |
DBLP DOI BibTeX RDF |
Graph set T-colouring problem, Simple construction heuristics, Stochastic local search algorithms |
17 | David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
Symmetry Definitions for Constraint Satisfaction Problems. |
Constraints An Int. J. |
2006 |
DBLP DOI BibTeX RDF |
Symmetry, Constraint satisfaction problems |
17 | John N. Hooker |
A Hybrid Method for the Planning and Scheduling. |
Constraints An Int. J. |
2005 |
DBLP DOI BibTeX RDF |
Bender's decomposition, hybrid methods, planning and scheduling |
17 | François Fages, Sylvain Soliman, Rémi Coolen |
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. |
Constraints An Int. J. |
2004 |
DBLP DOI BibTeX RDF |
program annotation, visualization, GUI, debugging, constraint programming, search trees |
17 | David A. Cohen |
Tractable Decision for a Constraint Language Implies Tractable Search. |
Constraints An Int. J. |
2004 |
DBLP DOI BibTeX RDF |
complexity, language, tractability |
17 | Jeremy Frank, Ari K. Jónsson |
Constraint-Based Attribute and Interval Planning. |
Constraints An Int. J. |
2003 |
DBLP DOI BibTeX RDF |
dynamic constraint reasoning, consistency enforcement, temporal planning, planning, resources |
17 | Francesca Rossi 0001 |
Constraint (Logic) Programming: A Survey on Research and Applications. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
|
|