20441 search results - page 243 / 4089 » Locally Computable Structures |
137
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Smaller institutions can now maintain local cluster computing environments to support research and teaching in high-performance scientific computation. Researchers can d...
138
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
Computing applications in FPGAs are commonly built from repetitive structures of computing and/or memory elements. In many cases, application performance depends on the degree of ...
142
click to vote
AAAI
2006
15 years 5 months ago
2006
The MAP (maximum a posteriori hypothesis) problem in Bayesian networks is to find the most likely states of a set of variables given partial evidence on the complement of that set...
142
click to vote
AAECC
2007
Springer
15 years 4 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
150
click to vote
WCC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe a broad class of problems arising in the context of designing codes for DNA computing. We primarily focus on design considerations pertaining to the phen...