• Search: "Constraint logic programming"

Showing 181 - 200 of 1,800

181

Evolution of Region Connection Calculus to VRCC-3D+
Chaman L. Sabharwal ; Jennifer L. Leopold
New Mathematics and Natural Computation. 10:103-141

0202 electrical engineer... 02 engineering and techn... Qualitative spatial reas...
Academic journal
Save to List
182

Using Secondary Structure Information for Protein Folding in CLP( )
DOVIER, Agostino ; BURATO M. ; FOGOLARI, Federico
Electronic Notes in Theoretical Computer Science. 76:83-98

0301 basic medicine 0303 health sciences 03 medical and health sc... Constraint Logic Program... Bioinformatics 3. Good health
Academic journal
Save to List
183

Using Constraint Logic Programming to Analyze theChronology in 'A Rose for Emily'
Burg, Jennifer ; Boyle, Anne ; Lang, Sheau Dong
Computers and the Humanities. 34:377-392

Faulkner constraint logic program... Constraint logic program... 06 humanities and the ar... 02 engineering and techn... chronology …
Academic journal
Save to List
184

ACLP: Abductive Constraint Logic Programming: ACLP: Abductive constraint logic programming
Kakas, Antonis C. ; Michael, Antonia ; Mourlas, Constantinos ; et al.
Journal of Logic Programming
J Logic Program

Constraind solving Problem solving Artificial intelligence constraint logic program... Logic Computational linguistic... …
Academic journal
Save to List
185

The CIFF proof procedure for abductive logic programming with constraints
ENDRISS, U ; MANCARELLA, P ; SADRI, F ; et al.
Logics in artificial intelligence (Lisbon, 27-30 September 2004)Lecture notes in computer science. :31-43

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
186

Teaching constraints through logic puzzles
SZEREDI, Péter
CSCLP 2003 (recent advances in constraints)Lecture notes in computer science. :196-222

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
187

Symbolic execution of behavioral requirements
WANG, Tao ; ROYCHOUDHURY, Abhik ; YAP, Roland H. C ; et al.
PADL 2004 : practical aspects of declarative languages (Dallas TX, 18-19 June 2004)Lecture notes in computer science. :178-192

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
188

Smodels with CLP and its applications: A simple and effective approach to aggregates in ASP
ELKABANI, Islam ; PONTELLI, Enrico ; SON, Tran Cao
Logic programming (Saint Malo, 6-10 September 2004)Lecture notes in computer science. :73-89

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
189

Rigorous modeling of hybrid systems using interval arithmetic constraints
HICKEY, Timothy J ; WITTENBERG, David K
HSCC 2004 : hybrid systems : computation and control (Philadelphia PA, 25-27 March 2004)Lecture notes in computer science. :402-416

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
190

Reasoning about temporal context using ontology and abductive constraint logic programming
HONGWEI ZHU ; MADNICK, Stuart E ; SIEGEL, Michael D
PPSWR 2004 : principles and practice of semantic web reasoning (St. Malo, 6-10 September 2004)Lecture notes in computer science. :90-101

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
191

Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints
REVESZ, Peter
ADBIS 2004 : advances in databases and information systems (Budapest, 22-25 September 2004)Lecture notes in computer science. :1-21

Documentation Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees …
Conference
Save to List
192

Protein Folding in CLP(FD) with empirical contact energies
DAL PALU, Alessandro ; DOVIER, Agostino ; FOGOLARI, Federico
CSCLP 2003 (recent advances in constraints)Lecture notes in computer science. :250-265

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
193

Probabilistic space partitioning in constraint logic programming
ANGELOPOULOS, Nicos
ASIAN 2004 : advances in computer science (higher-level decision making)Lecture notes in computer science. :48-62

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
194

Non-termination inference for constraint logic programs
PAYET, Etienne ; MESNARD, Fred
SAS 2004 : static analysis (Verona, 26-28 August 2004)Lecture notes in computer science. :377-392

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
195

Non-linear loop invariant generation using gröbner bases
SANKARANARAYANAN, Sriram ; SIPMA, Henny B ; MANNA, Zohar
Proceedings of the 2004 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004)ACM SIGPLAN notices. 39(1):318-329

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
196

Memory-model-sensitive data race analysis
YUE YANG ; GOPALAKRISHNAN, Ganesh ; LINDSTROM, Gary
Formal methods and software engineering (Seattle WA, 8-12 November 2004)Lecture notes in computer science. :30-45

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
197

Incorporating dynamic constraints in the flexible authorization framework
SHIPING CHEN ; WIJESEKERA, Duminda ; JAJODIA, Sushil
Computer security (Sophia Antipolis, 13-15 September 2004)Lecture notes in computer science. :1-16

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
198

Faster analysis of formal specifications
BOUQUET, Fabrice ; LEGEARD, Bruno ; UTTING, Mark ; et al.
Formal methods and software engineering (Seattle WA, 8-12 November 2004)Lecture notes in computer science. :239-258

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
199

Extra-functional contract support in components
DEFOUR, Olivier ; JEZEQUEL, Jean-Marc ; PLOUZEAU, Noël
CBSE 2004 : component-based software engineering (Edinburgh, 24-25 May 2004)Lecture notes in computer science. :217-232

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
200

Cardinality constraint programs
SYRJÄNEN, Tommi
Logics in artificial intelligence (Lisbon, 27-30 September 2004)Lecture notes in computer science. :187-199

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter