375 search results - page 57 / 75 » Making Abstract Machines Less Abstract |
COMPSEC
2010
15 years 16 days ago
2010
Abstract Advanced mobile devices such as laptops and smartphones make convenient hiding places for surveillance spyware. They commonly have a microphone and camera built-in, are in...
91
Voted
JAL
2008
15 years 12 days ago
2008
Abstract. In the last few years, the microprocessors technologies have been definitely moving to multi-core architectures, in order to improve performances as well as reduce power ...
84
Voted
FOCM
2010
14 years 11 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
137
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
114
Voted
MICCAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We apply sparse Bayesian learning methods, automatic relevance determination (ARD) and predictive ARD (PARD), to Alzheimer’s disease (AD) classification to make accura...