Sciweavers

3458 search results - page 351 / 692
» Abstracting Control
Sort
View
163
Voted
ICRA
2006
IEEE
144views Robotics» more  ICRA 2006»
15 years 10 months ago
Adapting Probabilistic Roadmaps to Handle Uncertain Maps
Abstract— Randomized motion planning techniques are responsible for many of the recent successes in robot control. However, most motion planning algorithms assume perfect and com...
Patrycja E. Missiuro, Nicholas Roy
LPAR
2005
Springer
15 years 10 months ago
The Theorema Environment for Interactive Proof Development
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
Florina Piroi, Temur Kutsia
DAC
1996
ACM
15 years 8 months ago
Introspection: A Low Overhead Binding Technique During Self-Diagnosing Microarchitecture Synthesis
Abstract: Introspection, a zero-overhead binding technique during self-diagnosing microarchitecture synthesis is presented. Given a scheduled control data ow graph (CDFG) introspec...
Balakrishnan Iyer, Ramesh Karri
SG
2009
Springer
15 years 11 months ago
Interactive Context-Aware Visualization for Mobile Devices
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...
Mike Eissele, Daniel Weiskopf, Thomas Ertl
133
Voted
CMMR
2007
Springer
104views Music» more  CMMR 2007»
15 years 10 months ago
Semiotics of Sounds Evoking Motions: Categorization and Acoustic Features
Abstract. The current study is part of a larger project aiming at offering intuitive mappings of control parameters piloting synthesis models by semantic descriptions of sounds, i...
Adrien Merer, Sølvi Ystad, Richard Kronland...