1477 search results - page 206 / 296 » Complexity of (iterated) dominance |
CGF
2006
13 years 10 months ago
2006
In this paper we describe a new method for generating and controlling physically-realistic motion of complex articulated characters. Our goal is to create motion from scratch, whe...
ICFEM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— In this note, we present initial results towards developing a distributed algorithm for repairing topological holes in the sensor cover of a mobile robot team. Central to our a...
GLOBECOM
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper, we investigate the maximization of the amount of gathered data in a clustered wireless sensor network (WSN). The amount of gathered data is maximized by (1) choosing...
ICST
2010
IEEE
13 years 8 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...