1737 search results - page 214 / 348 » On Interpolation in Existence Logics |
179
click to vote
SEMWEB
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
204
Voted
WLP
2004
Springer
16 years 11 days ago
2004
Springer
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
222
Voted
DFT
2003
IEEE
16 years 10 days ago
2003
IEEE
We discuss the use of convolutional codes to perform concurrent error detection (CED) in finite state machines (FSMs). We examine a previously proposed methodology, we identify i...
167
click to vote
TIME
2003
IEEE
16 years 9 days ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
200
Voted
CONCUR
2003
Springer
16 years 8 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...