5634 search results - page 296 / 1127 » About Abstract Classes |
166
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
112
click to vote
LATA
2009
Springer
15 years 11 months ago
2009
Springer
d abstract) Benjamin Carle, Paliath Narendran and Colin Scheriff Dept. of Computer Science University at Albany–SUNY Albany, NY 12222 June 19, 2007 In this paper we extend the ...
140
click to vote
AUSAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
150
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
143
click to vote
DGCI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Watershed segmentation of spectral images is typically achieved by first transforming the high-dimensional input data into a scalar boundary indicator map which is used ...