647 search results - page 19 / 130 » Generation of BDDs from hardware algorithm descriptions |
EGH
2004
Springer
14 years 1 months ago
2004
Springer
Texture mapping has been a fundamental feature for commodity graphics hardware. However, a key challenge for texture mapping is how to store and manage large textures on graphics ...
LREC
2010
13 years 9 months ago
2010
In this paper, we present the D-TUNA corpus, which is the first semantically annotated corpus of referring expressions in Dutch. Its primary function is to evaluate and improve th...
BMCBI
2010
13 years 8 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
ASPDAC
1999
ACM
14 years 5 days ago
1999
ACM
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....