Sciweavers

1507 search results - page 93 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
ENTCS
2008
124views more  ENTCS 2008»
13 years 10 months ago
Modular Functional Descriptions
The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient co...
Bernhard Schätz
ICRA
2005
IEEE
128views Robotics» more  ICRA 2005»
14 years 3 months ago
Vibration-based Terrain Analysis for Mobile Robots
—Safe, autonomous mobility in rough terrain is an important requirement for planetary exploration rovers. Knowledge of local terrain properties is critical to ensure a rover’s ...
Christopher A. Brooks, Karl Iagnemma, Steven Dubow...
ECCV
2002
Springer
14 years 12 months ago
On the Motion and Appearance of Specularities in Image Sequences
Real scenes are full of specularities (highlights and reflections), and yet most vision algorithms ignore them. In order to capture the appearance of realistic scenes, we need to ...
Rahul Swaminathan, Sing Bing Kang, Richard Szelisk...
COCO
2003
Springer
82views Algorithms» more  COCO 2003»
14 years 3 months ago
Derandomization and Distinguishing Complexity
We continue an investigation of resource-bounded Kolmogorov complexity and derandomization techniques begun in [2, 3]. We introduce nondeterministic time-bounded Kolmogorov comple...
Eric Allender, Michal Koucký, Detlef Ronneb...
SLE
2009
Springer
14 years 4 months ago
Composing Feature Models
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...