1546 search results - page 173 / 310 » Context-Aware Computing with Sound |
159
click to vote
HOA
1993
15 years 10 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
140
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
We present a paradigm and toolkit for rapid prototyping of interactive, animated 3D graphics programs. The paradigm has its roots in declarative programming, emphasizing immutable...
175
click to vote
AAAI
2007
15 years 8 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
134
click to vote
INTERACT
2003
15 years 7 months ago
2003
: Digital computation is a powerful source of functional support. However, it has been confined to the augmentation of single objects only. In this article, we are interested in th...
171
click to vote
IJCAI
1989
15 years 7 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...