3317 search results - page 519 / 664 » Strategies in Rigid-Variable Methods |
142
click to vote
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
125
click to vote
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
A novel scene reconstruction technique is presented, different from previous approaches in its ability to cope with large changes in visibility and its modeling of intrinsic scene...
180
click to vote
IMR
1998
Springer
15 years 10 months ago
1998
Springer
High reynolds number ow simulations exhibit strong gradients normal to walls and across shear layers requiring much ner resolution of the solution in some directions compared to o...
160
click to vote
CODES
1994
IEEE
15 years 10 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
196
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
A new control strategy is presented which visually tracks objects using a manipulator/camera system while simultaneously avoiding kinematic singularities and joint limits by movin...