3229 search results - page 291 / 646 » Theories with the Independence Property |
149
click to vote
ATVA
2005
Springer
16 years 6 days ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
177
click to vote
COCOON
2005
Springer
16 years 6 days ago
2005
Springer
By considering a new metric, Nikov and Nikova defined the class of error-set correcting codes. These codes differ from the errorcorrecting codes in the sense that the minimum dis...
172
click to vote
DAWAK
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we describe the design of a tool supporting the integration of independently developed data warehouses, a problem that arises in several common scenarios. The basic f...
195
click to vote
BIOADIT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
162
click to vote
WAPCV
2004
Springer
16 years 8 hour ago
2004
Springer
In this paper, we present a new recognition system for the fast detection and classification of objects in spatial 3D data. The system consists of two main components: A biologic...