8582 search results - page 371 / 1717 » Here or There |
156
click to vote
KR
2004
Springer
16 years 7 days ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
161
click to vote
LATIN
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expr...
223
click to vote
MICCAI
2004
Springer
16 years 7 days ago
2004
Springer
Currently, minimally invasive cardiac surgery (MICS) faces several limitations, including inadequate training methods using non-realistic models, insufficient surgery planning usin...
183
click to vote
MOZ
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...
176
click to vote
NLDB
2004
Springer
16 years 7 days ago
2004
Springer
—Most Web and legacy paper-based documents are available in human comprehensible text form, not readily accessible to or understood by computer programs. Here, we investigate an ...