4211 search results - page 706 / 843 » A formal approach to MASQ |
164
click to vote
DAC
2006
ACM
16 years 13 days ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
155
click to vote
PPOPP
2006
ACM
16 years 12 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
178
click to vote
SAC
2006
ACM
16 years 12 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
186
click to vote
SIGIR
2006
ACM
16 years 12 days ago
2006
ACM
Search algorithms incorporating some form of topic model have a long history in information retrieval. For example, cluster-based retrieval has been studied since the 60s and has ...
156
click to vote
SPAA
2006
ACM
16 years 12 days ago
2006
ACM
Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important parallel algorithms to implement efficient parallel programs manipulating trees. Desp...