2364 search results - page 39 / 473 » An Engine for Computing Well-Founded Models |
DSN
2005
IEEE
15 years 5 months ago
2005
IEEE
Register files are in the critical path of most high-performance processors and their latency is one of the most important factors that limit their size. Our goal is to develop er...
102
click to vote
CAD
2005
Springer
14 years 11 months ago
2005
Springer
This paper presents a Bayesian methodology for computer-aided experimental design of heterogeneous scaffolds for tissue engineering applications. These heterogeneous scaffolds hav...
123
click to vote
SIGIR
2004
ACM
15 years 5 months ago
2004
ACM
Many museum and library archives are digitizing their large collections of handwritten historical manuscripts to enable public access to them. These collections are only available...
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
SCAM
2003
IEEE
15 years 5 months ago
2003
IEEE
We characterise a computational model for processing annotated parse trees. The model is basically rewriting-based with specific provisions for dealing with annotations along the...