3053 search results - page 70 / 611 » Structured Objects: Modeling and Reasoning |
104
click to vote
CSL
2006
Springer
15 years 5 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
118
click to vote
SRDS
2006
IEEE
15 years 7 months ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
111
click to vote
ICCAD
1994
IEEE
15 years 5 months ago
1994
IEEE
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...
106
click to vote
PKDD
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Recent results on robust density-based clustering have indicated that the uncertainty associated with the actual measurements can be exploited to locate objects that are ...
103
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...