Sciweavers

1421 search results - page 137 / 285
» Satisfying KBO Constraints
Sort
View
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
WCET
2007
15 years 8 months ago
WCET Analysis: The Annotation Language Challenge
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus ...