4397 search results - page 325 / 880 » Relational Algebra Operations |
156
click to vote
AI
2002
Springer
15 years 6 months ago
2002
Springer
We present different constructions for non-prioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept...
162
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: An operational Air Surveillance System shall generate a stable and reliable air picture. In dense target situations the quality of available sensor data is reduced. System models...
169
click to vote
ISTCS
1995
Springer
15 years 10 months ago
1995
Springer
We call a vector x 2 IRn highly regular if it satis es < x m >= 0 for some short, non{zero integer vector m where < : : > is the inner product. We present an algorithm...
195
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
173
click to vote
FATES
2004
Springer
16 years 4 days ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...