2956 search results - page 215 / 592 » Databases and Higher Types |
127
Voted
TAPSOFT
1993
Springer
15 years 7 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
121
click to vote
PPSN
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents an adaptive tit-for-tat strategy and a study of its behavior in spatial IPD games. The adaptive tit-for-tat strategy is shown elsewhere to demonstrate high perf...
141
Voted
SGP
2004
15 years 5 months ago
2004
Subdivision-based representations are recognized as important tools for the generation of high-quality surfaces for Computer Graphics. In this paper we describe two parameterizati...
116
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
This paper proposes a framework that provides significant speed-ups and also improves the effectiveness of general message passing algorithms based on dual LP relaxations. It is ap...
130
Voted
CEC
2008
IEEE
15 years 5 months ago
2008
IEEE
One of the advantages of evolutionary robotics over other approaches in embodied cognitive science would be its parallel population search. Due to the population search, it takes a...