9227 search results - page 413 / 1846 » Developing Use Cases from Organizational Modeling |
194
click to vote
SI3D
2006
ACM
16 years 23 days ago
2006
ACM
Motion capture data from human subjects exhibits considerable redundancy. In this paper, we propose novel methods for exploiting this redundancy. In particular, we set out to find...
169
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
195
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
A model of the dynamics of solving the counting-ones (OneMax) problem using a simple genetic algorithm (GA) is developed. It uses statistics of the early generations of GA runs to ...
199
click to vote
SCIA
2005
Springer
16 years 8 days ago
2005
Springer
Recently, a number of methods for 3-D modeling from images have been developed. However, the accuracy of a reconstructed model depends on camera positions and postures with which t...
179
click to vote
JIRS
2007
15 years 6 months ago
2007
Retaining functionality of a mobile robot in the presence of faults is of particular interest in autonomous robotics. From our experiences in robotics we know that hardware is one ...