|
|
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 |
17 | Krzysztof R. Apt |
Some Remarks on Boolean Constraint Propagation. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
Datalog±: a unified approach to ontologies and integrity constraints. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, complexity, databases, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase |
17 | Hassan Takabi, Minsoo Kim 0001, James B. D. Joshi, Michael B. Spring |
An architecture for specification and enforcement of temporal access control constraints using OWL. |
SWS |
2009 |
DBLP DOI BibTeX RDF |
gtrbac, access control, temporal constraints, owl |
17 | Everardo Bárcenas, Pierre Genevès, Nabil Layaïda |
On the analysis of queries with counting constraints. |
ACM Symposium on Document Engineering |
2009 |
DBLP DOI BibTeX RDF |
counting constraints, modal logics, xpath, xml, type checking |
17 | Nam Nguyen 0001, Rich Caruana |
Improving Classification with Pairwise Constraints: A Margin-Based Approach. |
ECML/PKDD (2) |
2008 |
DBLP DOI BibTeX RDF |
margin-based learning, classification, pairwise constraints |
17 | Khalil Djelloul |
Combination of decomposability and propagation for solving first-order constraints in decomposable theories. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
complete theory, first-order constraint satisfaction problems, first-order constraint solvers, first-order constraints, rewriting rules |
17 | Thomas Douillard, Christophe Jermann |
Splitting heuristics for disjunctive numerical constraints. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
splitting heuristics, numerical constraints, disjunctions |
17 | Carlo Combi, Sara Degani, Christian S. Jensen |
Capturing Temporal Constraints in Temporal ER Models. |
ER |
2008 |
DBLP DOI BibTeX RDF |
Conceptual modeling, temporal databases, database design, entity-relationship models, temporal constraints, temporal data models |
17 | Hamidah Ibrahim, Zarina Dzolkhifli, Praveen Madiraju |
A Model for Checking the Integrity Constraints of Mobile Databases. |
OTM Workshops |
2008 |
DBLP DOI BibTeX RDF |
integrity constraints, Mobile databases, constraint checking |
17 | Suguru Kawashimo, Yen Kaow Ng, Hirotaka Ono 0001, Kunihiko Sadakane, Masafumi Yamashita |
Speeding Up Local-Search Type Algorithms for Designing DNA Sequences under Thermodynamical Constraints. |
DNA |
2008 |
DBLP DOI BibTeX RDF |
Statistical Thermodynamical Constraints, Local Search, DNA Sequence Design |
17 | Latif Salum, Aliye Ayca Supciller |
Rule-Based Modeling of Assembly Constraints for Line Balancing. |
ICIC (2) |
2008 |
DBLP DOI BibTeX RDF |
Assembly line balancing, Rule-based representation, Precedence constraints |
17 | Wei Zhang 0004, Hua Yan, Haiyan Zhao, Zhi Jin |
A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization. |
ICSR |
2008 |
DBLP DOI BibTeX RDF |
Clonable features, Verification, Constraints, Customization, Feature models |
17 | Pedro Nogueira Ramos |
Contrary-to-Duties Constraints: From UML to Relational Model. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
Contrary-To-Duties, Deontic Constraints, UML, Relational Model |
17 | Alessio Montone, Marco D. Santambrogio, Donatella Sciuto |
A Design Workflow for the Identification of Area Constraints in Dynamic Reconfigurable Systems. |
DELTA |
2008 |
DBLP DOI BibTeX RDF |
Area Constraints, Dynamic Reconfigurable System |
17 | Guoliang Xue, Arunabha Sen, Weiyi Zhang 0001, Jian Tang 0008, Krishnaiyan Thulasiraman |
Finding a path subject to many additive QoS constraints. |
IEEE/ACM Trans. Netw. |
2007 |
DBLP DOI BibTeX RDF |
efficient approximation algorithms, multiple additive constraints, QoS routing |
17 | Ilia Polian, Hideo Fujiwara |
Functional Constraints vs. Test Compression in Scan-Based Delay Testing. |
J. Electron. Test. |
2007 |
DBLP DOI BibTeX RDF |
Overtesting prevention, Scan-based delay test, Test compression, Functional constraints |
17 | Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
A new generic scheme for functional logic programming with constraints. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Logic programming, Constraints, Functional programming |
17 | Guangming Xing, Zhonghang Xia, Douglas Ayers |
X2R: a system for managing XML documents and key constraints using RDBMS. |
ACM Southeast Regional Conference |
2007 |
DBLP DOI BibTeX RDF |
XML DBMS, key constraints, structural index, XML, data management, XML query |
17 | Mark Crowley 0001, Brent Boerlage, David Poole 0001 |
Adding Local Constraints to Bayesian Networks. |
Canadian AI |
2007 |
DBLP DOI BibTeX RDF |
chain graphs, complementary priors, Bayesian networks, constraints, graphical models, mixed networks, Bayesian modelling |
17 | Fubao Zhu, Jihong Guan, Shuigeng Zhou |
Constraints-preserving GML storage in object-relational databases. |
GIS |
2007 |
DBLP DOI BibTeX RDF |
semantics, constraints, storage, object-relational database, GML |
17 | Xiaoli Ren, Lu Liu, Chenggong Lv |
An Object-Dependent and Context Constraints-Aware Access Control Approach Based on RBAC. |
CONFENIS (2) |
2007 |
DBLP DOI BibTeX RDF |
Context constraints, Role-based access control, Security policy, SoD, Object-dependent |
17 | Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi |
Interaction testing of highly-configurable systems in the presence of constraints. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
constraints, SAT, covering arrays, combinatorial interaction testing |
17 | Xueping Zhang, Jiayao Wang, Zhongshan Fan, Bin Li |
Spatial Clustering with Obstacles Constraints Using Ant Colony and Particle Swarm Optimization. |
PAKDD Workshops |
2007 |
DBLP DOI BibTeX RDF |
K-Medoids Algorithm, Particle Swarm Optimization, Ant Colony Optimization, Spatial Clustering, Obstacles Constraints |
17 | Roman Barták |
Generating Implied Boolean Constraints Via Singleton Consistency. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
implied constraints, singleton consistency, SAT, reformulation |
17 | Bernard Roy, Roman Slowinski |
Multi-criteria assignment problem with incompatibility and capacity constraints. |
Ann. Oper. Res. |
2006 |
DBLP DOI BibTeX RDF |
Multi-criteria combinatorial optimization, Incompatibility constraints, Blocking configuration, Actions of unblocking, Non-dominated assignments, Assignment problem, Interactive exploration |
17 | Klaus Jansen, Hu Zhang 0004 |
An approximation algorithm for scheduling malleable tasks under general precedence constraints. |
ACM Trans. Algorithms |
2006 |
DBLP DOI BibTeX RDF |
malleable tasks, scheduling, Approximation algorithms, precedence constraints |
17 | Nicolas Bruno, Surajit Chaudhuri, Dilys Thomas |
Generating Queries with Cardinality Constraints for DBMS Testing. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
Query generation, database testing, cardinality constraints |
17 | Robert Benkoczi, Hossam S. Hassanein, Selim G. Akl, Sylvia Tai |
Data relaying with constraints in hierarchical sensor networks. |
J. Comb. Optim. |
2006 |
DBLP DOI BibTeX RDF |
Hierarchical sensor networks, Data relaying, Wireless sensor networks, Constraints |
17 | Ilia Polian, Hideo Fujiwara |
Functional constraints vs. test compression in scan-based delay testing. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
overtesting prevention, scan-based delay test, test compression, functional constraints |
17 | Tomás Horváth, Peter Vojtás |
Ordinal Classification with Monotonicity Constraints. |
ICDM |
2006 |
DBLP DOI BibTeX RDF |
monotonicity constraints, ordinal data, classification, Monotone |
17 | Christof Lutteroth, Gerald Weber |
User interface layout with ordinal and linear constraints. |
AUIC |
2006 |
DBLP BibTeX RDF |
2D layout, formal constraints, user interface design, tables |
17 | Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck |
Geometric constraints solving: some tracks. |
Symposium on Solid and Physical Modeling |
2006 |
DBLP DOI BibTeX RDF |
bernstein base, incidence constraint, randomized prover, rigidity theory, witness configuration, decomposition, projective geometry, geometric constraints solving |
17 | Sana Sellami, Aïcha-Nabila Benharkat, Rami Rifaieh, Youssef Amghar |
Extension of Schema Matching Platform ASMADE to Constraints and Mapping Expression. |
SITIS |
2006 |
DBLP DOI BibTeX RDF |
Mapping Expression Model, Integration, Constraints, XML schemas, Schema Mapping, Schema Matching |
17 | John Augustine, Sudarshan Banerjee, Sandy Irani |
Strip packing with precedence constraints and strip packing with release times. |
SPAA |
2006 |
DBLP DOI BibTeX RDF |
scheduling, reconfigurable architectures, precedence constraints, release times, strip packing |
17 | Gui-Hua Lin, Masao Fukushima |
A Modified Relaxation Scheme for Mathematical Programs with Complementarity Constraints. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
mathematical program with complementarity constraints, (MPEC-)linear independence constraint qualification, (B-, M-, C-)stationarity, weak second-order necessary conditions, upper level strict complementarity, nondegeneracy |
17 | Hiroshi Hosobe |
Solving linear and one-way constraints for web document layout. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
cassowary, constraints, web browsers, simplex method, document layout |
17 | Carole Durocher, Franck Multon, Richard Kulpa |
Dynamic Control of Captured Motions to Verify New Constraints. |
Gesture Workshop |
2005 |
DBLP DOI BibTeX RDF |
take-off, optimization, constraints, dynamic control |
17 | Carson Kai-Sang Leung, Wookey Lee |
Exploitation of Referential Integrity Constraints for Efficient Update of Data Warehouse Views. |
BNCOD |
2005 |
DBLP DOI BibTeX RDF |
referential integrity constraints, Data warehousing, view maintenance, star schema, self-maintainability |
17 | Noritaka Osawa |
Application of Jigsaw-Puzzle-Like 3D Glyph to Visualizing Grammatical Constraints. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
inclusive match, grammatical constraints, jigsaw puzzle, polymorphism, 3D visualization |
17 | Aloysius K. Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee, Honguk Woo |
Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
electronic brokerages, event specification, timing constraints, Active databases, real-time databases |
17 | Subhasish Mazumdar, Panos K. Chrysanthis |
Localization of Integrity Constraints in Mobile Databases and Specification in PRO-MOTION. |
Mob. Networks Appl. |
2004 |
DBLP DOI BibTeX RDF |
caching and replication, transaction processing, integrity constraints, mobile databases, data consistency, disconnected operations |
17 | Stephen J. Roberts, Rizwan Choudrey |
Bayesian Independent Component Analysis with Prior Constraints: An Application in Biosignal Analysis. |
Deterministic and Statistical Methods in Machine Learning |
2004 |
DBLP DOI BibTeX RDF |
biosignal analysis, prior constraints, Independent component analysis, variational Bayes |
17 | Michael Cho-Hoi Chek, Yu-Kwong Kwok |
On Adaptive Frequency Hopping to Combat On Adaptive Frequency Hopping to Combat IEEE 802.11b with Practical Resource Constraints. |
ISPAN |
2004 |
DBLP DOI BibTeX RDF |
adaptive frequency hopping, coexistence mechanisms, IEEE 802.15, Bluetooth, cross-layer design, resource constraints, IEEE 802.11b |
17 | Vitaliy L. Khizder, Grant E. Weddell |
Reasoning about Uniqueness Constraints in Object Relational Databases. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
uniqueness constraints, subsumption algorithms, description logics, Complex objects, object relational databases, semantic query optimization |
17 | Shiguang Shan, Wen Gao 0001, Wei Wang, Debin Zhao, Baocai Yin |
Enhanced Active Shape Models with Global Texture Constraints for Image Analysis. |
ISMIS |
2003 |
DBLP DOI BibTeX RDF |
Active Shape Models (ASMs), Enhanced Active Shape Models (EASMs), Global Texture Constraints (GTC), Active Appearance Models (AAMs) |
17 | Sung-Woo Hur, Tung Cao, Karthik Rajagopal, Yegna Parasuram, Amit Chowdhary, Vladimir Tiourin, Bill Halpin |
Force directed mongrel with physical net constraints. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
mongrel, net constraints, timing driven placement, force directed placement |
17 | Christopher A. Healy, David B. Whalley |
Automatic Detection and Exploitation of Branch Constraints for Timing Analysis. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
best-case execution time, branch constraints, Real-time systems, timing analysis, worst-case execution time, infeasible paths |
17 | Dongwon Lee 0001, Murali Mani, Frank Chiu, Wesley W. Chu |
NeT & CoT: translating relational schemas to XML schemas using semantic constraints. |
CIKM |
2002 |
DBLP DOI BibTeX RDF |
XML, semantic constraints, schema translation |
17 | Antonio Eleuteri, Roberto Tagliaferri, Leopoldo Milano, Fausto Acernese, Michele De Laurentiis |
Bayesian Learning Techniques: Application to Neural Networks with Constraints on Weight Space. |
WIRN |
2002 |
DBLP DOI BibTeX RDF |
Bayesian learning frameworks, Learning with constraints, Survival analysis |
17 | Kazimierz Malanowski, Helmut Maurer |
Sensitivity Analysis for Optimal Control Problems Subject to Higher Order State Constraints. |
Ann. Oper. Res. |
2001 |
DBLP DOI BibTeX RDF |
parametric optimal control, higher order state constraints, differentiability of solutions, implicit function theorem |
17 | Bradley T. Vander Zanden, Richard L. Halterman, Brad A. Myers, Richard G. McDaniel, Robert C. Miller, Pedro A. Szekely, Dario A. Giuse, David S. Kosbie |
Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
Constraint experience, constraint usage, eager evaluation, one-way dataflow constraints, constraint satisfaction, lazy evaluation |
17 | Anne Doucet, Stéphane Gançarski, Claudia León, Marta Rukoz |
Checking Integrity Constraints in Multidatabase Systems with Nested Transactions. |
CoopIS |
2001 |
DBLP DOI BibTeX RDF |
Integrity constraints, Consistency checking, Distributed transactions, Multidatabase systems, Nested transactions |
17 | Alexander Brodsky 0001, Csilla Farkas, Sushil Jajodia |
Secure Databases: Constraints, Inference Channels, and Monitoring Disclosures. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
data-dependent disclosure, data-independent disclosure, constraints, completeness, decidability, soundness, Multilevel security, data confidentiality, inference algorithms, inference problem |
17 | Magnus Boman, Love Ekenberg |
Risk Constraints in Agent Conflicts. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
risk constraints, agent conflicts, conflict situation, negotiation set, individual agent goals, remitted goals, multi-agent systems, multi-agent system, complex system, coalitions |
17 | Haixia Du, Hong Qin 0001 |
Dynamic PDE Surfaces with Flexible and General Geometric Constraints. |
PG |
2000 |
DBLP DOI BibTeX RDF |
PDE Surfaces, Interactive Techniques, Geometric Modeling, Dynamic Modeling, Geometric Constraints, CAD/CAM |
17 | Hong Jeong, Yuns Oh |
Parallel Trellis Based Stereo Matching Using Constraints. |
Biologically Motivated Computer Vision |
2000 |
DBLP DOI BibTeX RDF |
center-reference, constraints, Stereo vision, trellis |
17 | Tatsunori Mori, Mamoru Matsuo, Hiroshi Nakawaga |
Zero-subject Resolution Using Linguistic Constraints and Defaults: The Case of Japanese Instruction Manuals. |
Mach. Transl. |
1999 |
DBLP DOI BibTeX RDF |
pragmatic constraints, zero subjects, Japanese, defaults |
17 | Bill Triggs |
Differential Matching Constraints. |
ICCV |
1999 |
DBLP DOI BibTeX RDF |
Matching Tensors, Tensor Tracking, Difference Expansion, Image Sequences, Matching Constraints |
17 | Bin Ni, Zehua Zhou |
An Automatically Dynamic Checking Tool for Java Beans Semantic Constraints. |
TOOLS (27) |
1998 |
DBLP DOI BibTeX RDF |
dynamic model checking, formal specification, Component, semantic constraints |
17 | Srimat T. Chakradhar, Vijay Gangaram, Steven G. Rothweiler |
Deriving Signal Constraints to Accelerate Sequential Test Generation. |
VLSI Design |
1997 |
DBLP DOI BibTeX RDF |
sequential test generation algorithm acceleration, signal constraints, large sequential circuits, deterministic sequential test generation, signal constraint computation technique, line probabilities, line justification techniques, benchmark sequential circuits, test generation time reduction, production sequential circuits, 3-valued signal probabilities, fault diagnosis, fault coverage, symbolic simulation, truth table |
17 | Brad T. Vander Zanden |
An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
incremental constraint satisfaction, constraints, interactive systems |
17 | Namyun Kim |
A scheduling technique for real-time systems with end-to-end timing constraints. |
RTCSA |
1996 |
DBLP DOI BibTeX RDF |
end-to-end timing constraints, shared tasks, overload situations, real-time systems, real-time systems, scheduling technique |
17 | Anne Doucet, Stéphane Gançarski, Geneviève Jomier, Sophie Monties |
Integrity Constraints in Multiversion Databases. |
BNCOD |
1996 |
DBLP DOI BibTeX RDF |
database, consistency, integrity constraints, versions |
17 | Kalle Åström, Anders Heyden |
Multilinear Constraints in the Infinitesimal-time Cas. |
CVPR |
1996 |
DBLP DOI BibTeX RDF |
Multilinear constraints, infinitesimal motion, calibrated camera, uncalibrated camera |
17 | Lee W. Campbell, Aaron F. Bobick |
Recognition of Human Body Motion Using Phase Space Constraints. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
phase space methods, human body motion recognition, phase space constraints, human body movements, body-centered coordinates, joint angles, Cartesian tracking data, movement representation, torso location, torso attitude, new movement learning, ground truth data, constraint searching, unsegmented data, fundamental classical ballet steps, dancers, unsegmented motion stream, computer vision, testing, tracking, motion estimation, training, image recognition, image representation, search problems, diagnostics, humanities, biomechanics, subspaces, constraint theory, space curves |
17 | Jiebo Luo, Chang Wen Chen, Kevin J. Parker, Thomas S. Huang |
Adaptive quantization with spatial constraints in subband video compression using wavelets. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
adaptive quantization, subband video compression, high frequency subbands coding, spectral localization properties, spatial localization properties, subband decomposition, multimodal Laplacian distribution, spectral distribution, noniterative MAP estimation, quantized subbands, wavelet transforms, wavelets, data compression, statistical analysis, video coding, maximum likelihood estimation, spectral analysis, random processes, adaptive signal processing, spatial constraints, quantisation (signal), Gibbs random field, low bit rate coding, subband coding |
17 | J. Artur Serrano |
The Use of Semantic Constraints on Diagram Editors. |
VL |
1995 |
DBLP DOI BibTeX RDF |
diagram editors, state transition networks, entity-relationship data model, unfriendly system, automatic diagram validation, Petri nets, graphical user interfaces, software tools, software tools, visual programming, visual programming, diagrams, graphical interface, semantic constraints, user guidance |
17 | Naoshi Uchihira, Shinichi Honiden |
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach |
17 | M. A. Snyder |
On the Mathematical Foundations of Smoothness Constraints for the Determination of Optical Flow and for Surface Reconstruction. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
gradient-based methods, minimization technique, grey-level image intensity function, Cartesian coordinate system, weight matrix, computer vision, computer vision, optical flow, surface reconstruction, minimisation, smoothness constraints, positive definite |
17 | Andrew P. Witkin, Michael Kass |
Spacetime constraints. |
SIGGRAPH |
1988 |
DBLP DOI BibTeX RDF |
animation, constraints |
17 | Feida Zhu 0001, Xifeng Yan, Jiawei Han 0001, Philip S. Yu |
gPrune: A Constraint Pushing Framework for Graph Pattern Mining. |
PAKDD |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Praveen Madiraju, Rajshekhar Sunderraman |
An efficient constraint planning algorithm for multidatabases. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Hamidah Ibrahim |
A Strategy for Semantic Integrity Checking in Distributed Databases. |
ICPADS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Antoni Olivé |
Taxonomies and Derivation Rules in Conceptual Modeling. |
CAiSE |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Marcy Telles |
Updating an older interface. |
CHI |
1990 |
DBLP DOI BibTeX RDF |
WordStar |
16 | Amir M. Ben-Amram |
Size-Change Termination, Monotonicity Constraints and Ranking Functions. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, António L. Furtado 0001, Vânia Maria Ponte Vidal |
A Strategy to Revise the Constraints of the Mediated Schema. |
ER |
2009 |
DBLP DOI BibTeX RDF |
constraint revision, mediated schema, Description Logics |
16 | Neng-Fa Zhou |
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Alan K. Mackworth |
Living with Constraints. |
Canadian AI |
2009 |
DBLP DOI BibTeX RDF |
|
16 | François Bronsard |
Practical framework constraints. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
code checker, static analysis, application framework |
16 | Nicolae Paladi, Thomas Arts |
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. |
Erlang Workshop |
2009 |
DBLP DOI BibTeX RDF |
QuickCheck, amnesia, formal specifications, model based testing, erlang, business rules |
16 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
Conjunctive query containment and answering under description logic constraints. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
computational compexity, conjunctve queries, Description logics, query containment |
16 | James C. F. Li, Subhrakanti Dey, Jamie S. Evans |
Maximal Lifetime Power and Rate Allocation for Wireless Sensor Systems With Data Distortion Constraints. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Lotfi Bejaoui, François Pinet, Michel Schneider, Yvan Bédard |
An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries. |
ER |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Srikanth Jagabathula, Devavrat Shah |
Optimal delay scheduling in networks with arbitrary constraints. |
SIGMETRICS |
2008 |
DBLP DOI BibTeX RDF |
delay, throughput, scheduling algorithm |
16 | Yuanlin Zhang 0002, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti |
Efficient Algorithms for Functional Constraints. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Zhi-Wei Sun, Zheng Zhao |
Density Based Cluster in the Presence of Spatial Constraints. |
CSSE (4) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Martin James Green, Christopher Jefferson |
Structural Tractability of Propagated Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Stanislav Zivný, Peter Jeavons 0001 |
Classes of Submodular Constraints Expressible by Graph Cuts. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
An Improved Tight Closure Algorithm for Integer Octagonal Constraints. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Doerr |
Roundings Respecting Hard Constraints. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Xinyu Tang, Shawna L. Thomas, Nancy M. Amato |
Planning with Reachable Distances: Fast Enforcement of Closure Constraints. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sergio Flesca, Filippo Furfaro, Francesco Parisi |
Preferred Database Repairs Under Aggregate Constraints. |
SUM |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Zong Min Ma 0001, Jiemin Liu, Li Yan 0001 |
Algebraic Operations on Flexible Constraints Based on Knowledge Comparison. |
FSKD (4) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Mona Haeker, Michael D. Abràmoff, Xiaodong Wu 0001, Randy Kardon, Milan Sonka |
Use of Varying Constraints in Optimal 3-D Graph Search for Segmentation of Macular Optical Coherence Tomography Images. |
MICCAI (1) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | David A. Cohen, Peter Jeavons 0001, Stanislav Zivný |
The Expressive Power of Valued Constraints: Hierarchies and Collapses. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Yuancan Huang, Chuang Yu |
Improved Lagrange Nonlinear Programming Neural Networks for Inequality Constraints. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Kai Lin, David Chen 0002, R. Geoff Dromey, Chengzheng Sun |
Maintaining constraints expressed as formulas in collaborative systems. |
CollaborateCom |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Blaine Nelson, Ira Cohen |
Revisiting probabilistic models for clustering with pair-wise constraints. |
ICML |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Stephan Mäs |
Reasoning on Spatial Semantic Integrity Constraints. |
COSIT |
2007 |
DBLP DOI BibTeX RDF |
|
|
|