2272 search results - page 242 / 455 » A Calculus for |
146
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
193
click to vote
GIAE
2004
Springer
15 years 10 months ago
2004
Springer
This paper surveys the new, algorithmic theory of moving frames developed by the author and M. Fels. Applications in geometry, computer vision, classical invariant theory, the cal...
134
click to vote
INLG
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we present a logic-based model for an accurate generation of intensional responses within a cooperative questionanswering framework. We develop several cat...
169
Voted
KR
2004
Springer
15 years 10 months ago
2004
Springer
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
136
click to vote
RTA
2004
Springer
15 years 10 months ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...