1052 search results - page 53 / 211 » Foundations for Virtual Types |
ICTAI
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper reports our investigation on the problem of belief update in Bayesian networks (BN) using uncertain evidence. We focus on two types of uncertain evidences, virtual evid...
OSDI
1996
ACM
13 years 10 months ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
DARE
2000
13 years 10 months ago
2000
Our work in the field of mixed reality has been concerned with the development of the mixed reality boundary approach. In contrast to other approaches that focus on superimposing ...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...