8768 search results - page 353 / 1754 » Generalizing the notion of support |
178
click to vote
KR
2004
Springer
16 years 28 days ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
179
click to vote
LATIN
2004
Springer
16 years 28 days ago
2004
Springer
In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expr...
214
click to vote
LPNMR
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
168
click to vote
PG
2003
IEEE
16 years 25 days ago
2003
IEEE
In this paper we introduce algorithms to voxelize polygonal meshes in common sampling lattices. In the case of Cartesian lattices, we complete the separability and minimality proo...
170
click to vote
APN
2003
Springer
16 years 24 days ago
2003
Springer
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...