4899 search results - page 957 / 980 » Robust normative systems |
HASKELL
2007
ACM
15 years 1 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
CCGRID
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper we investigate the utilization of nondedicated, opportunistic resources in a desktop environment to provide statistical assurances to a class of QoS sensitive, soft ...
CSB
2004
IEEE
15 years 1 months ago
2004
IEEE
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
DAS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Automatic identification of a script in a given document image facilitates many important applications such as automatic archiving of multilingual documents, searching on...
92
Voted
ECCV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents an endoscopic vision framework for modelbased 3D guidance of surgical instruments used in robotized laparoscopic surgery. In order to develop such a s...