3719 search results - page 219 / 744 » RACER System Description |
162
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
221
click to vote
KRMED
2008
15 years 8 months ago
2008
In this paper a description is presented in which the architectural, lexical and mapping differences are foregrounded between two compositional systems, both operating in the heal...
138
click to vote
ANLP
2000
15 years 8 months ago
2000
This paper presents a parsing system for the detection of syntactic errors. It combines a robust partial parser which obtains the main sentence components and a finite-state parse...
144
click to vote
SPRINGSIM
2007
15 years 7 months ago
2007
Modeling and simulation tools have been used for helping in the early stages of hardware/software systems design. The DEVS formalism is a technique that enables hierarchical descr...
170
click to vote
MICCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a new robotic framework for assisted CTguided percutaneous procedures with force feedback and automatic patientto-image registration of needle. The pu...