2705 search results - page 380 / 541 » Formal Ontology for Subject |
MIDDLEWARE
2007
Springer
14 years 4 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
PPDP
2007
Springer
14 years 4 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
PPDP
2007
Springer
14 years 4 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
ECRTS
2006
IEEE
14 years 4 months ago
2006
IEEE
At early stages in the design of real-time embedded applications, the timing attributes of the computational activities are often incompletely specified or subject to changes. Lat...
ICDCSW
2006
IEEE
14 years 4 months ago
2006
IEEE
The rapid progress of information technology has spurred development of various communication support systems. In particular, the importance of informal communication has lately d...