Sciweavers

774 search results - page 117 / 155
» Markov incremental constructions
Sort
View
CC
2003
Springer
114views System Software» more  CC 2003»
14 years 2 months ago
Combined Code Motion and Register Allocation Using the Value State Dependence Graph
We define the Value State Dependence Graph (VSDG). The VSDG is a form of the Value Dependence Graph (VDG) extended by the addition of state dependence edges to model sequentialise...
Neil Johnson, Alan Mycroft
HAPTICS
2002
IEEE
14 years 2 months ago
Six-Degree-of-Freedom Haptic Display Using Localized Contact Computations
: We present a six-degree-of-freedom haptic rendering algorithm using localized contact computations. It takes advantage of high motion coherence due to fast force update and spati...
Young J. Kim, Miguel A. Otaduy, Ming C. Lin, Dines...
ICRA
2002
IEEE
98views Robotics» more  ICRA 2002»
14 years 2 months ago
Sensor-Based Exploration for Convex Bodies: A New Roadmap for a Convex-Shaped Robot
We present a new algorithm that enables a convex shaped robot to explore an unknown planar workspace, i.e., an unknown configuration space diffeomorphic to SE(2). This new algor...
Ji Yeong Lee, Howie Choset
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
14 years 1 months ago
A symbolic model approach to the digital control of nonlinear time-delay systems
— In this paper we propose an approach to control design of nonlinear time–delay systems, which is based on the construction of symbolic models, where each symbolic state and e...
Giordano Pola, Pierdomenico Pepe, Maria Domenica D...
GPCE
2009
Springer
14 years 1 months ago
A language and framework for invariant-driven transformations
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
Yanhong A. Liu, Michael Gorbovitski, Scott D. Stol...