861 search results - page 116 / 173 » A General Framework for Knowledge Compilation |
126
click to vote
SAS
2001
Springer
15 years 2 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
CACM
2010
14 years 10 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
RAID
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Rogue antivirus software has recently received extensive attention, justified by the diffusion and efficacy of its propagation. We present a longitudinal analysis of th...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
In contrast to classical game theoretic analysis of simultaneous and sequential play in bimatrix games, Steven Brams has proposed an alternative framework called the Theory of Mov...
TMI
2008
14 years 9 months ago
2008
Abstract--Due to the significant complexity of membrane morphology and the generally poor image quality in electron tomographic volumes, current automatic methods for segmentation ...