Sciweavers

3068 search results - page 197 / 614
» Separation Results on the
Sort
View
TOOLS
2009
IEEE
16 years 1 months ago
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
Camillo Bruni, Toon Verwaest
IROS
2009
IEEE
144views Robotics» more  IROS 2009»
16 years 1 months ago
Experimental validation of a hybrid mobile robot mechanism with interchangeable locomotion and manipulation
—This video submission presents the experimental validation and testing of a novel Hybrid Mobile Robot (HMR) system design using a complete physical prototype. The HMR consists o...
Pinhas Ben-Tzvi
LICS
2009
IEEE
16 years 1 months ago
Trichotomy in the Complexity of Minimal Inference
We study the complexity of the propositional minimal inference problem. Its complexity has been extensively studied before because of its fundamental importance in artificial int...
Arnaud Durand, Miki Hermann, Gustav Nordh
ALDT
2009
Springer
181views Algorithms» more  ALDT 2009»
16 years 1 months ago
Optimizing the Hurwicz Criterion in Decision Trees with Imprecise Probabilities
This paper is devoted to sequential decision problems with imprecise probabilities. We study the problem of determining an optimal strategy according to the Hurwicz criterion in de...
Gildas Jeantet, Olivier Spanjaard
EMMCVPR
2009
Springer
16 years 1 months ago
Complementary Optic Flow
We introduce the concept of complementarity between data and smoothness term in modern variational optic flow methods. First we design a sophisticated data term that incorporates ...
Henning Zimmer, Andrés Bruhn, Joachim Weick...