2586 search results - page 298 / 518 » Automatic Abstraction for Congruences |
156
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— We present successful control strategies for dynamically stable robots that avoid low ceilings and other vertical obstacles in a manner similar to limbo dances. Given t...
159
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—The Service-Oriented Architecture (SOA) leverages ice abstraction to enable the development of modular, loose-coupled and distributed applications. In order to use such an archi...
160
click to vote
IVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. How does a virtual agent’s gesturing behavior influence the user’s perception of communication quality and the agent’s personality? This question was investigated ...
194
click to vote
JOT
2010
15 years 5 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
178
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. A new algorithm is presented for the automatic segmentation of Multiple Sclerosis (MS) lesions in 3D MR images. It builds on the discriminative random decision forest fra...