• Search: "constraint logic programming"

Showing 201 - 220 of 1,800

201

CLP based static property checking
TUN LI ; YANG GUO ; LI, Si-Kun
AVTA 2004 : automated technology for verification and analysis (Taipei, 31 October - 3 November 2004)Lecture notes in computer science. :495-498

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

CLPS-B: A constraint solver to animate a B specification
BOUQUET, Fabrice ; LEGEARD, Bruno ; PEUREUX, Fabien
International journal on software tools for technology transfer (Print). 6(2):143-157

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

Automatic test data generation from embedded C code
DILLON, Eileen ; MEUDEC, Christophe
SAFECOMP 2004 : computer safety, reliability, and security (Potsdam, 21-24 September 2004)Lecture notes in computer science. :180-194

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

An MDA approach to tame component based software development
JEZEQUEL, Jean-Marc ; DEFOUR, Olivier ; PLOUZEAU, Noël
FMCO 2003 : formal methods for components and objects (Leiden, 4-7 November 2003, revised lectures)Lecture notes in computer science. :260-275

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

A multi-scale constraint programming model of alternative splicing regulation
EVEILLARD, Damien ; ROPERS, Delphine ; DE JONG, Hidde ; et al.
Computational Systems BiologyTheoretical computer science. 325(1):3-24

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Conference
Save to List
206

Relating constraint answer set programming languages and algorithms
LIERLER, Yuliya
Artificial intelligence (General ed.). 207:1-22

Cognition Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees …
Academic journal
Save to List
207

Chance constrained programming using non-Gaussian joint distribution function in design of standalone hybrid renewable energy systems
KAMJOO, Azadeh ; MAHERI, Alireza ; PUTRUS, Ghanim A
Energy (Oxford). 66:677-688

Energy Énergie Environment Environnement Sciences exactes et tech... Exact sciences and techn... …
Academic journal
Save to List
208

From extended feature models to constraint logic programming
Karataş, Ahmet Serkan ; Oğuztüzün, Halit ; Doğru, Ali
In Science of Computer Programming 1 December 2013 78(12):2295-2312

Academic journal
Save to List
209

University course timetabling with soft constraints
RUDOVA, Hana ; MURRAY, Keith
PATAT 2002 : practice and theory of automated timetabling IV (Gent, 21-23 August 2002, selected revised papers)Lecture notes in computer science. :310-328

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

Subtyping constraints in quasi-lattices
COQUERY, Emmanuel ; FAGES, Francois
FST TCS 2003 : foundations of software technology and theoretical computer science (Mumbai, 15-17 December 2003)Lecture notes in computer science. :136-148

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

Scheduling outages in distributed environments
BUTLER, Anthony ; SHARDA, Hema ; TANIAR, David
APPT 2003 : advanced parallel processing technologies (Xiamen, 17-19 September 2003)Lecture notes in computer science. :281-291

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

Scheduling doctors for clinical training unit rounds using tabu optimization
WHITE, Christine A ; WHITE, George M
PATAT 2002 : practice and theory of automated timetabling IV (Gent, 21-23 August 2002, selected revised papers)Lecture notes in computer science. :120-128

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

Reduce and assign: A Constraint Logic Programming and Local Search integration framework to solve Combinatorial Search problems
GOMES, Nuno ; VALE, Zita ; RAMOS, Carlos
CP 2003 : principles and practice of constraint programming (Kinsale, 29 September - 3 October 2003)Lecture notes in computer science. :847-852

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

Qualitative spatial reasoning in a logical framework
RAFFAETA, Alessandra ; RENSO, Chiara ; TURINI, Franco
AI*IA 2003 : advances in artificial intelligence (Pisa, 23-26 September 2003)Lecture notes in computer science. :78-90

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

Pure patterns Type systems
BARTHE, Gilles ; CIRSTEA, Horatiu ; KIRCHNER, Claude ; et al.
Conference record of POPL® 2003: the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages®, New Orleans, Louisiana, USA, January 15-17, 2003ACM SIGPLAN notices. 38(1):250-261

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

Precise goal-independent abstract interpretation of constraint logic programs
SCHACHTE, Peter
Australasian Computer ScienceTheoretical computer science. 293(3):557-577

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Conference
Save to List
217

Flow Java: Declarative concurrency for Java
DREJHAMMAR, Frej ; SCHULTE, Christian ; BRAND, Per ; et al.
Logic programming (Mumbai, 9-13 December 2003)Lecture notes in computer science. :346-360

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

Extending the CLP engine for reasoning under uncertainty
ANGELOPOULOS, Nicos
Foundations of intelligent systems (Maebashi City, 28-31 October 2003)Lecture notes in computer science. :365-373

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

Enacting an agent-based Digital Self in a 24x7 Web Services world
GOSCHNICK, Steve
Foundations of intelligent systems (Maebashi City, 28-31 October 2003)Lecture notes in computer science. :187-196

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

Convex hull abstractions in specialization of CLP programs
PERALTA, Julio C ; GALLAGHER, John P
LOPSTR 2002 : logic based program synthesis and transformation (Madrid, 17-20 September 2002, revised selected papers)Lecture notes in computer science. :90-108

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