Sciweavers

1798 search results - page 172 / 360
» Generating presentation constraints from rhetorical structur...
Sort
View
NAACL
1994
15 years 7 months ago
Information Based Intonation Synthesis
This paper presents a model for generating prosodically appropriate synthesized responses to database queries using Combinatory Categorial Grammar (CCG - cf. [22]), a formalism wh...
Scott Prevost, Mark Steedman
FLAIRS
2004
15 years 8 months ago
Concurrent Backtrack Search on DisCSPs
A distributed search algorithm for solving distributed constraint satisfaction problems (DisCSPs) is presented. The proposed algorithm is composed of multiple search processes (SP...
Roie Zivan, Amnon Meisels
ESOP
2003
Springer
15 years 11 months ago
Automatic Software Model Checking Using CLP
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
Cormac Flanagan
ICES
2003
Springer
151views Hardware» more  ICES 2003»
15 years 11 months ago
Using Genetic Programming and High Level Synthesis to Design Optimized Datapath
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
Sérgio G. Araújo, Antônio C. M...
PR
2006
122views more  PR 2006»
15 years 6 months ago
Integration of fuzzy spatial relations in deformable models - Application to brain MRI segmentation
This paper presents a general framework to integrate a new type of constraints, based on spatial relations, in deformable models. In the proposed approach, spatial relations are r...
Olivier Colliot, Oscar Camara, Isabelle Bloch