1532 search results - page 292 / 307 » Connection Relations in Mereotopology |
APPROX
2006
Springer
14 years 6 days ago
2006
Springer
Abstract. Combinatorial property testing deals with the following relaxation of decision problems: Given a fixed property and an input x, one wants to decide whether x satisfies th...
DATE
2004
IEEE
14 years 6 days ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
FOCS
2004
IEEE
14 years 5 days ago
2004
IEEE
The need to deal with massive data sets in many practical applications has led to a growing interest in computational models appropriate for large inputs. The most important quali...
VLDB
1987
ACM
13 years 12 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...
AGP
2010
IEEE
13 years 12 months ago
2010
IEEE
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...