7623 search results - page 867 / 1525 » Constructive Volume Modeling |
178
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
163
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
The control of nonholonomic and underactuated systems with symmetry is illustrated by the problem of controlling a bicycle. We derive a controller which, using steering and rear-w...
186
click to vote
INFOCOM
1995
IEEE
15 years 10 months ago
1995
IEEE
In this work we suggest an algorithm that increases the reservation success probability for bursty tra c in high speed networks by adding exibility to the construction of the rout...
201
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
A conventional transaction manager implemented by a database management system (DBMS) was compared against one implemented within an operating system (OS) in a variety of simulate...
196
click to vote
BMVC
2001
15 years 9 months ago
2001
We address the problem of non-rigid motion and correspondence estimation in 3D images in the absense of prior domain information. A generic framework is utilized in which a soluti...