1757 search results - page 31 / 352 » Alternating Refinement Relations |
HPCA
2008
IEEE
16 years 25 days ago
2008
IEEE
The interconnect mechanisms (shared bus or crossbar) used in current chip-multiprocessors (CMPs) are expected to become a bottleneck that prevents these architectures from scaling...
116
Voted
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
15 years 6 months ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
95
Voted
FQAS
2009
Springer
15 years 5 months ago
2009
Springer
Some recent works have shown that the “perfect” selection of the best IR system per query could lead to a significant improvement on the retrieval performance. Motivated by thi...
121
click to vote
FOIKS
2008
Springer
15 years 2 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
ICASSP
2010
IEEE
15 years 20 days ago
2010
IEEE
An important application for microphone arrays is to extract highquality output from a single wideband source in multi-source and adverse environments. Methods based on blind-sour...