1342 search results - page 101 / 269 » Shape reasoning and understanding |
FORMATS
2005
Springer
14 years 3 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
ICWE
2004
Springer
14 years 3 months ago
2004
Springer
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...
IEEEPACT
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper analyzes an Intel Pentium 4 hyper-threading processor. The focus is to understand its performance and the underlying reasons behind that performance. Particular attenti...
LPNMR
2009
Springer
14 years 2 months ago
2009
Springer
Several proposals of the semantics of aggregates are based on different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building ...
ECOOPW
1998
Springer
14 years 1 months ago
1998
Springer
The aspect-oriented programming approach claims to make it easier to reason about, develop, and maintain certain kinds of application code while maintaining highly e cient code. To...