1350 search results - page 1 / 270 » Reasoning about Staged Computation |
SAIG
2000
Springer
13 years 8 months ago
2000
Springer
TIME
1994
IEEE
13 years 9 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
COSIT
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. This paper describes some recent cognitively-based and computationally-based research on representing and reasoning about shapes. The cognitive studies are based on proto...
GEOS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Grounding an ontology upon geographical data has been proposed as a method of handling the vagueness in the domain more effectively. In order to do this, we require meth...
TLCA
2009
Springer
13 years 11 months ago
2009
Springer
