5247 search results - page 87 / 1050 » The Generalized A* Architecture |
CHI
2008
ACM
16 years 3 days ago
2008
ACM
Computer Science, as a single discipline, can no longer speak to the broad relevance of digital technologies in society. The Department of Informatics in the Donald Bren School of...
102
click to vote
CADE
2007
Springer
16 years 17 hour ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
MM
2009
ACM
15 years 6 months ago
2009
ACM
We collected traces of how 37 users interacted with 9 progressively streamed and rendered 3D meshes. We analyze the traces and discuss the insights that we learned in relation to ...
ECSQARU
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
MFCS
2005
Springer
15 years 5 months ago
2005
Springer
This paper deals with balanced leaf language complexity classes, introduced independently in [1] and [14]. We propose the seed concept for leaf languages, which allows us to give â...