9110 search results - page 1754 / 1822 » Formally-Based Design Evaluation |
IEAAIE
2000
Springer
14 years 1 months ago
2000
Springer
Enabling a domain expert to maintain his own knowledge in a Knowledge Based System has long been an ideal for the Knowledge Engineering community. In this paper we report on our ex...
LCR
2000
Springer
14 years 1 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
MICCAI
2000
Springer
14 years 1 months ago
2000
Springer
Our goal was to improve image guidance during minimally invasive image guided therapy by developing an intraoperative segmentation and nonrigid registration algorithm. The algorith...
ICIP
1997
IEEE
14 years 1 months ago
1997
IEEE
A novel algorithm is described for coding objects in video compression systems which gives complete control over the bit allocation to the video objects. The method is evaluated b...
POPL
1995
ACM
14 years 1 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...