1705 search results - page 131 / 341 » Representing Constraints with Automata |
131
click to vote
AMAI
2007
Springer
15 years 4 months ago
2007
Springer
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
123
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...
153
click to vote
CLIMA
2010
15 years 6 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
171
click to vote
OPODIS
2004
15 years 5 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
104
Voted
ICML
2008
IEEE
16 years 5 months ago
2008
IEEE
The problem of identifying the minimal gene set required to sustain life is of crucial importance in understanding cellular mechanisms and designing therapeutic drugs. This work d...