7049 search results - page 1041 / 1410 » Data Abstraction for CSP-OZ |
216
click to vote
ICS
2009
Tsinghua U.
16 years 2 months ago
2009
Tsinghua U.
The Cell BE is a multicore processor with eight vector accelerators (called SPEs) that implement explicit cache management through direct memory access engines. While the Cell has...
260
click to vote
MCS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Hierarchical classification problems gained increasing attention within the machine learning community, and several methods for hierarchically structured taxonomies have...
199
click to vote
MCS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. One of the most widely applied techniques to deal with multiclass categorization problems is the pairwise voting procedure. Recently, this classical approach has been emb...
210
Voted
PERVASIVE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. One of the key challenges faced when developing contextaware pervasive systems is to capture the set of inputs that we want a system to adapt to. Arbitrarily specifying r...
223
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...