4287 search results - page 470 / 858 » Minimal Mental Models |
198
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a mechanism for automatic management of the memory hierarchy, including secondary storage, in the context of a global address space parallel programming ...
206
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
184
click to vote
SIBGRAPI
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a model-based methodology for recognizing and tracking objects in digital image sequences. Objects are represented by attributed relational graphs (or ARGs), w...
171
click to vote
SIPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present four scheduling algorithms that provide flexible utilization of fine-grain DSP accelerators with low run-time overhead. Methods that have originally been...
162
Voted
VR
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a simple and efficient approach to turn laser-scanned human geometry into a realistically moving virtual avatar. Instead of relying on the classical skeleton-based ani...