3690 search results - page 668 / 738 » Computation with classical sequents |
SPAA
2010
ACM
15 years 2 months ago
2010
ACM
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...
GI
2009
Springer
15 years 2 months ago
2009
Springer
: The Out-of-Home (OOH) media markets currently rely on a plethora of methods and technologies for measuring their potential or real success. From nationwide interviews over statis...
HUC
2009
Springer
15 years 2 months ago
2009
Springer
A key prerequisite for residential energy conservation is knowing when and where energy is being spent. Unfortunately, the current generation of energy reporting devices only prov...
HUC
2009
Springer
15 years 2 months ago
2009
Springer
In this paper we describe a new Bayesian estimation approach for simultaneous mapping and localization for pedestrians based on odometry with foot mounted inertial sensors. When s...
KDD
2009
ACM
15 years 2 months ago
2009
ACM
Commercial anti-virus software are unable to provide protection against newly launched (a.k.a “zero-day”) malware. In this paper, we propose a novel malware detection techniqu...