16430 search results - page 2639 / 3286 » On Computable Tree Functions |
181
click to vote
CF
2007
ACM
15 years 11 months ago
2007
ACM
The transition to multithreaded, multi-core designs places a greater responsibility on programmers and software for improving performance; thread-level parallelism (TLP) will be i...
298
click to vote
COLCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
With the widespread adoption of XML as the message format to disseminate content over distributed systems including Web Services and Publish-Subscribe systems, different methods ha...
192
Voted
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
199
click to vote
TAMC
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we investigate partial words, or finite sequences that may have some undefined positions called holes, of maximum subword complexity. The subword complexity functi...
205
Voted
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a new shape registration algorithm that establishes "meaningful correspondence" between objects, in that it preserves the local shape correspondence ...