Sciweavers

658 search results - page 83 / 132
» Evaluation of alternative presentation control techniques
Sort
View
SI3D
1997
ACM
14 years 1 months ago
Context Sensitive Flying Interface
The requirement to change scale frequently is common to many 2D and 3D applications. Users must “zoom in” to examine details and “zoom out” to appreciate the context. This...
Colin Ware, Daniel J. Fleet
CGF
2010
124views more  CGF 2010»
13 years 9 months ago
DTI in Context: Illustrating Brain Fiber Tracts In Situ
We present an interactive illustrative visualization method inspired by traditional pen-and-ink illustration styles. Specifically, we explore how to provide context around DTI fib...
Pjotr Svetachov, Maarten H. Everts, Tobias Isenber...
FROCOS
2011
Springer
12 years 8 months ago
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastian...
EUROMICRO
1998
IEEE
14 years 1 months ago
Data Speculative Multithreaded Architecture
In this paper we present a novel processor microarchitecture that relieves three of the most important bottlenecks of superscalar processors: the serialization imposed by true dep...
Pedro Marcuello, Antonio González
TOG
2008
89views more  TOG 2008»
13 years 8 months ago
Continuation methods for adapting simulated skills
Modeling the large space of possible human motions requires scalable techniques. Generalizing from example motions or example controllers is one way to provide the required scalab...
KangKang Yin, Stelian Coros, Philippe Beaudoin, Mi...