3446 search results - page 363 / 690 » A Reasoning Algorithm for pD* |
208
click to vote
IEEECGIV
2005
IEEE
16 years 8 days ago
2005
IEEE
Creating a 3-D game engine is not a trivial task as gamers often demand for high quality output with top notch performance in games. In this paper, we show you how various real-ti...
173
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
133
click to vote
ASPDAC
2005
ACM
16 years 7 days ago
2005
ACM
3-D IC has a great potential for improving circuit performance and degree of integration. It is also an attractive platform for system-on-chip or system-in-package solutions. A cr...
156
click to vote
CIE
2005
Springer
16 years 7 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
180
click to vote
CIKM
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...