293 search results - page 9 / 59 » Computing Stable Models by Using the ATMS |
ISSS
2000
IEEE
14 years 1 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
AROBOTS
2002
13 years 8 months ago
2002
We present an approach to path planning for humanoid robots that computes dynamically-stable, collision-free trajectories from full-body posture goals. Given a geometric model of t...
TMI
2010
13 years 7 months ago
2010
—A new feature based nonrigid image registration method for magnetic resonance (MR) brain images is presented in this paper. Each image voxel is represented by a rotation invaria...
RAS
2006
13 years 8 months ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
CVPR
2011
IEEE
13 years 3 months ago
2011
IEEE
The majority of existing pedestrian trackers concentrate on maintaining the identities of targets, however systems for remote biometric analysis or activity recognition in surveill...