5550 search results - page 826 / 1110 » Different Approaches to Proof Systems |
230
click to vote
HUC
2011
Springer
14 years 6 months ago
2011
Springer
Sensor-enabled smartphones are opening a new frontier in the development of mobile sensing applications. The recognition of human activities and context from sensor-data using cla...
159
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Several state-of-the-art Generic Visual Categorization (GVC) systems are built around a vocabulary of visual terms and characterize images with one histogram of visual word counts....
183
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
In many practical applications, one is interested in generating a ranked list of items using information mined from continuous streams of data. For example, in the context of comp...
280
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
182
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...