5387 search results - page 344 / 1078 » Generating generic functions |
156
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
165
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
-- Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contributio...
180
click to vote
IJCV
2008
15 years 6 months ago
2008
Given an image sequence of a scene consisting of multiple rigidly moving objects, multi-body structure-and-motion (MSaM) is the task to segment the image feature tracks into the d...
153
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Embodied Conversational Agents (ECAs) are computer generated life-like characters that interact with human users in face-to-face conversations. To achieve natural multi-modal conve...
162
click to vote
FUIN
2007
15 years 6 months ago
2007
Different generalizations to the case of coverings of the standard approach to entropy applied to partitions of a finite universe X are explored. In the first approach any cover...