3446 search results - page 367 / 690 » A Reasoning Algorithm for pD* |
171
click to vote
ISHPC
2003
Springer
15 years 12 months ago
2003
Springer
We developed a multithreaded parallel implementation of a sequence alignment algorithm that is able to align whole genomes with reliable output and reasonable cost. This paper pres...
190
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Computer vision algorithms for individual tasks such as object recognition, detection and segmentation have shown impressive results in the recent past. The next challeng...
200
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
We study the radio resource allocation problem of distributed joint transmission power control and spreading gain allocation in a DS-CDMA mobile data network. The network consists...
172
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
149
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
Recent advances in DNA sequencing technology have created large data sets upon which phylogenetic inference can be performed. However, current research is limited by the prohibiti...