1650 search results - page 262 / 330 » The HOM problem is decidable |
101
click to vote
CLEF
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents the algorithms and results of the "idiap" team participation to the ImageCLEFmed annotation task in 2008. On the basis of our successful experience in...
COCO
2008
Springer
15 years 1 months ago
2008
Springer
: We define quantum expanders in a natural way. We give two constructions of quantum expanders, both based on classical expander constructions. The first construction is algebraic,...
125
click to vote
DEBS
2008
ACM
15 years 1 months ago
2008
ACM
We introduce a new type of query, called a real-time continuous query (RCQ), that captures the real-time requirements of processing data streams. We develop techniques to efficien...
EUC
2008
Springer
15 years 1 months ago
2008
Springer
Context-awareness is a key issue in pervasive computing. Context-aware applications are prone to the context consistency problem, where applications are confronted with conflictin...
117
click to vote
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...