1999 search results - page 317 / 400 » Dependently Typed Grammars |
165
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Peer review meetings (PRMs) are formal meetings during which peers systematically analyze artifacts to improve their quality and report on non-conformities. This paper presents an...
144
click to vote
EJIS
2006
15 years 6 months ago
2006
In many types of activities, communicative and material activities are so intertwined that the one cannot be understood without taking the other into account. This is true of mari...
163
click to vote
ENGL
2006
15 years 6 months ago
2006
Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intellige...
140
click to vote
EOR
2006
15 years 6 months ago
2006
The repair kit problem is that of finding the optimal set of parts in the kit of a repairman. An important aspect of this problem, in many real-life situations, is that several jo...
179
click to vote
CAD
2007
Springer
15 years 6 months ago
2007
Springer
We present a novel geometric algorithm to construct a smooth surface that interpolates a triangular or a quadrilateral mesh of arbitrary topological type formed by n vertices. Alt...