2752 search results - page 349 / 551 » Rounding to an Integral Program |
164
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
—The aim of this paper is to enable a programmer to easily employ external sensors for flexible robot manipulation. We describe a general approach to determine the relation betwe...
154
click to vote
SIBGRAPI
2008
IEEE
16 years 28 days ago
2008
IEEE
We present a crude registration algorithm for two partially overlapping range images acquired from a rigid object. Our proposal is characterized by two novel features: drastic dat...
196
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
186
click to vote
AGILEDC
2007
IEEE
16 years 27 days ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
182
click to vote
ECBS
2007
IEEE
16 years 27 days ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....