5216 search results - page 843 / 1044 » Planning as Model Checking |
179
click to vote
SAC
2005
ACM
16 years 56 min ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...
200
click to vote
HAPTICS
2008
IEEE
15 years 7 months ago
2008
IEEE
The well known property of haptic interaction is the high refresh rate of the haptic loop that is necessary for the stability of the interaction. Therefore, only simple computation...
151
click to vote
AEI
2004
15 years 6 months ago
2004
The estimation of productivity rates in cyclic construction processes is a difficult, but essential task in the planning of construction projects. The conventional method--a calcu...
164
click to vote
IJRR
2010
15 years 3 months ago
2010
The tip asymmetry of a bevel-tip needle results in the needle naturally bending when it is inserted into soft tissue. This enables robotic needle steering, which can be used in me...
175
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Mechanical models for soft human organs are necessary for a variety of medical applications, such as surgical planning, virtual reality surgery simulators, and for diagnostic purpo...