1096 search results - page 26 / 220 » Abstract Canonical Inference |
BSL
2004
14 years 9 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
ECAL
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In this paper, a computational model of a successful negotiated communication system is presented, in which language agents develop their own meanings in response to thei...
ASIAN
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Defining dependency models is sometimes an easier, more intuitive way for ontology representation than defining reactive rectly, as it provides a higher level of abstraction. We w...
ISVC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a new model for artistic portrait caricature modeling and rendering. It is composed of a caricature model and a rendering system. The computer portrait caricat...