3273 search results - page 180 / 655 » types 2007 |
181
click to vote
FMOODS
2007
15 years 8 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
123
click to vote
IJCAI
1989
15 years 7 months ago
1989
Most implementations of AND-parallelism tackle the shared variable problem by running literals in parallel only if they have no variables in common and thus are independent from e...
161
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
This paper tackles on ethical issues that are relevant when designing new technological service systems for the assisted living. In this paper we present our preliminary ethical gu...
138
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
We examine the question of solving the extinction probability of a particular class of continuous-time multi-type branching processes, named Markovian binary trees (MBT). The exti...
163
click to vote
IJCAI
2007
15 years 8 months ago
2007
ESSENCE is a new formal language for specifying combinatorial problems in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete ...