212 search results - page 29 / 43 » On the Locality of Codeword Symbols |
108
click to vote
CC
2002
Springer
15 years 1 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
94
Voted
COGSCI
2011
14 years 9 months ago
2011
This article examines cognitive process models of human sentence comprehension based on the idea of informed search. These models are rational in the sense that they strive to qui...
92
Voted
APN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
105
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
A hybrid evolutionary algorithm (EA) for the p-median problem consist of two stages, each of which is a steady-state hybrid EA. These EAs encode selections of medians as subsets o...
116
click to vote
ISWC
1998
IEEE
15 years 6 months ago
1998
IEEE
Symbol Technologies has completed a unique accomplishment; it has created a commercially successful Wearable Computer. The success of this product is directly due to a structured ...