7197 search results - page 1076 / 1440 » On the computational power of BlenX |
259
click to vote
PVM
2010
Springer
15 years 5 months ago
2010
Springer
A major trend in HPC is the escalation toward manycore, where systems are composed of shared memory nodes featuring numerous processing units. Unfortunately, with scale comes compl...
204
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
151
Voted
TCS
2010
15 years 5 months ago
2010
Motivated by applications that require mechanisms for describing the structure of object-oriented programs, adaptive star grammars are introduced, and their fundamental properties...
150
click to vote
ACL
2010
15 years 4 months ago
2010
We present a simple yet powerful hierarchical search algorithm for automatic word alignment. Our algorithm induces a forest of alignments from which we can efficiently extract a r...
188
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes an evolutionary RBF network classifier for polarimetric synthetic aperture radar ( SAR) images. The proposed feature extraction process utilizes the full covar...