8294 search results - page 1566 / 1659 » Presenting Data from Experiments in Algorithmics |
164
click to vote
CAPTECH
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. This paper presents a new technique for computing collisionfree navigation motions from task-level commands for animated human characters in interactive virtual environme...
116
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
156
click to vote
POPL
1993
ACM
15 years 7 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
127
click to vote
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
The highly variable and dynamic word usage in social media presents serious challenges for both research and those commercial applications that are geared towards blogs or other u...
107
click to vote
APGV
2010
ACM
15 years 7 months ago
2010
ACM
In this paper we explore the ability of the human visual system to detect inconsistencies in the illumination of objects in images. We specifically focus on objects being lit fro...