5757 search results - page 864 / 1152 » Dynamic Policy Programming |
255
click to vote
SPIN
2004
Springer
16 years 17 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
179
click to vote
CSB
2003
IEEE
16 years 16 days ago
2003
IEEE
The problem addressed by this paper is accurate and automatic gene annotation following precise identification/annotation of exon and intron boundaries of biologically verified ...
197
click to vote
ICPP
2003
IEEE
16 years 15 days ago
2003
IEEE
Pairwise sequence alignment is a fundamental operation for homology search in bioinformatics. For two DNA or protein sequences of length ¢ and £ , full-matrix (FM), dynamic prog...
196
click to vote
PPOPP
2003
ACM
16 years 14 days ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...
220
click to vote
SC
2003
ACM
16 years 14 days ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...