22128 search results - page 195 / 4426 » Research in Structural Computing |
127
click to vote
AAECC
2007
Springer
15 years 3 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...
137
click to vote
WCC
2005
Springer
15 years 8 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...
147
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
145
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The task of computing highly accurate structural alignments of proteins in very short computation time is still challenging. This is partly due to the complexity of pr...
127
click to vote
PAAPP
2007
15 years 2 months ago
2007
The quantum model of computation not only o ers entirely new ways to manipulate information, but also allows information processing tasks to be formulated in unconventional, genui...