7988 search results - page 322 / 1598 » A Useful Undecidable Theory |
180
click to vote
HAPTICS
2002
IEEE
15 years 10 months ago
2002
IEEE
Haptic Interfaces have been used as cooperative systems to reproduce and simulate human actions. The Haptic Interface (HI) can be used as a tool capable of interacting dynamically...
141
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
In order to understand organizational memory, it is important to understand how things become adopted as memory resources in organizations. In this paper, we describe the genesis ...
154
Voted
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
155
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper, we use marked point processes to perform an unsupervised extraction of the coronary tree from 2D X-ray angiography. These processes provide a rigorous framework bas...
137
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...