12194 search results - page 2085 / 2439 » cans 2010 |
157
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We know that tilesets that can tile the plane always admit a quasiperiodic tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The quasi-periodicit...
216
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
208
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
A query considered in isolation offers limited information about a searcher's intent. Query context that considers pre-query activity (e.g., previous queries and page visits)...
219
click to vote
COLING
2010
15 years 1 months ago
2010
The presentation will mainly cover (1) What is HowNet? HowNet is an on-line common-sense knowledgebase unveiling inter-conceptual relationships and interattribute relationships of...
206
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Random linear network codes can be designed and implemented in a distributed manner, with low computational complexity. However, these codes are classically implemented [1] over fi...