854 search results - page 77 / 171 » Addressing Dynamic Issues of Program Model Checking |
109
click to vote
AGI
2008
15 years 4 months ago
2008
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...
111
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Traditional code optimizers have produced significant performance improvements over the past forty years. While promising avenues of research still exist, traditional static and p...
122
click to vote
SENSYS
2006
ACM
15 years 8 months ago
2006
ACM
Computing and maintaining network structures for efficient data aggregation incurs high overhead for dynamic events where the set of nodes sensing an event changes with time. Mor...
137
click to vote
MICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
108
Voted
TVCG
2008
15 years 2 months ago
2008
In this paper, we deal with the problem of synthesizing novel motions of standing-up martial arts such as Kickboxing, Karate, and Taekwondo performed by a pair of humanlike charact...