10910 search results - page 1933 / 2182 » Input modeling using a computer algebra system |
143
click to vote
FCT
2009
Springer
15 years 11 months ago
2009
Springer
Entanglement is a complexity measure for directed graphs that was used to show that the variable hierarchy of the propositional modal µ-calculus is strict. While graphs of entangl...
151
click to vote
CLUSTER
2008
IEEE
15 years 11 months ago
2008
IEEE
—Remote atomic memory operations are critical for achieving high-performance synchronization in tightly-coupled systems. Previous approaches to implementing atomic memory operati...
162
click to vote
CW
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper aims at proposing a framework for animating virtual humans that can efficiently interact with real users in virtual reality (VR). If the user’s order can be modeled ...
131
click to vote
HPDC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes a novel approach to generate an optimized schedule to run threads on distributed shared memory (DSM) systems. The approach relies upon a binary instrumentatio...
150
click to vote
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
Multi-camera networks offer potentials for a variety of novel human-centric applications through provisioning of rich visual information. In this paper, face orientation analysis ...