5499 search results - page 390 / 1100 » Generalized Rewrite Theories |
209
click to vote
LICS
2010
IEEE
15 years 6 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
236
click to vote
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
This paper describes a general scheme to convert sequential ant-based algorithms into parallel shared memory algorithms. The scheme is applied to an ant-based algorithm for the ma...
187
click to vote
HRI
2009
ACM
15 years 5 months ago
2009
ACM
We use the Cargo Cult metaphor to discuss visions, methods and communication of robot research. Essentially cargo cult involves performing of imitative rituals that are conducted ...
218
click to vote
AI
2011
Springer
15 years 2 months ago
2011
Springer
In this paper we present a general framework for the comparison of intervals when preference relations have to established. The use of intervals in order to take into account impr...
235
click to vote
WWW
2011
ACM
15 years 2 months ago
2011
ACM
This paper gives an overview of a politeness recognition tool (PoRT) for Hindi that is currently under preparation. It describes the the kind of problems that need to be tackled w...