295 search results - page 35 / 59 » Games and Definability for System F |
MICCAI
2001
Springer
14 years 1 months ago
2001
Springer
We are developing virtual fixtures for the internal mammary artery (IMA) harvest portion of robot-assisted coronary artery bypass graft procedures. A preoperative CT scan will be p...
HPDC
1993
IEEE
14 years 26 days ago
1993
IEEE
Wepresent an object-oriented framework for constructing parallel implementations of stencil algorithms. This framework simplifres the development process by encapsulating the comm...
DEON
2004
Springer
14 years 14 days ago
2004
Springer
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to ...
DEXAW
2004
IEEE
14 years 14 days ago
2004
IEEE
The Web is moving to a new generation in which machine-understandable processing is mandatory. In order to achieve this goal it is essential to define ontologies which enable the ...
LREC
2008
13 years 10 months ago
2008
In this paper, we present a comparison between two corpora acquired by means of two different techniques. The first corpus was acquired by means of the Wizard of Oz technique. A d...