270 search results - page 5 / 54 » A Simple and General Theoretical Account for Abstract Types |
PADL
2004
Springer
14 years 1 months ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
We present a vision based, adaptive, decision theoretic model of human facial displays in interactions. The model is a partially observable Markov decision process, or POMDP. A POM...
COSIT
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Landmarks are crucial for human wayfinding. Their integration in wayfinding assistance systems is essential for generating cognitively ergonomic route directions. I prese...
DCG
2002
13 years 7 months ago
2002
We discuss methods for the generation of oriented matroids and of isomorphism classes of oriented matroids. Our methods are based on single element extensions and graph theoretica...
SCP
2010
13 years 6 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...