Sciweavers

4117 search results - page 276 / 824
» On the Satisfiability of Complex Constraints
Sort
View
SPLC
2008
15 years 8 months ago
Enabling Verifiable Conformance for Product Lines
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
Robyn R. Lutz
CASCON
2004
108views Education» more  CASCON 2004»
15 years 8 months ago
Consistent query answering under inclusion dependencies
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
Loreto Bravo, Leopoldo E. Bertossi
IJCAI
2001
15 years 8 months ago
The Levelwise Version Space Algorithm and its Application to Molecular Fragment Finding
A tight integration of Mitchell's version space algorithm with Agrawal et al.'s Apriori algorithm is presented. The algorithm can be used to generate patterns that satis...
Luc De Raedt, Stefan Kramer
ISMB
1998
15 years 8 months ago
A Surface Measure for Probabilistic Structural Computations
Computingthree-dimensional structures from sparse experimentalconstraints requires methodsfor combining heterogeneoussourcesof information,such as distances, angles, andmeasuresof...
Jeanette P. Schmidt, Cheng Che Chen, Jonathan L. C...
COLING
1996
15 years 8 months ago
A Computational Model of Incremental Utterance Production in Task-Oriented Dialogues
This paper presents a comtmtational model of incremental utterance production in task-oriented dialogues. This model incrementally produces utterantes to propose the solution of a...
Kohji Dohsaka, Akira Shimazu