1043 search results - page 163 / 209 » Using Function Generalization to Design a Cosequential Proce... |
207
click to vote
MOBISYS
2009
ACM
16 years 6 months ago
2009
ACM
Top end mobile phones include a number of specialized (e.g., accelerometer, compass, GPS) and general purpose sensors (e.g., microphone, camera) that enable new people-centric sen...
159
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
The use of machine learning tools is gaining popularity in neuroimaging, as it provides a sensitive assessment of the information conveyed by brain images. In particular, finding ...
206
click to vote
JAIR
2012
13 years 8 months ago
2012
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
279
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
210
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...