3690 search results - page 224 / 738 » Computation with classical sequents |
118
click to vote
KI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In mobile and ubiquitous computing, there is a strong need for supporting different users with different interests, needs, and demands. Activity recognition systems for c...
104
click to vote
RAID
2010
Springer
14 years 11 months ago
2010
Springer
Malware clustering and classification are important tools that enable analysts to prioritize their malware analysis efforts. The recent emergence of fully automated methods for ma...
98
Voted
HCI
2009
14 years 10 months ago
2009
The rapid evolution of molecule's imaging and observation's techniques has caused a growing interest in studying molecular structures. Naturally, scientists have turned t...
131
Voted
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we address the problem of shadow detection and removal from single images of natural scenes. Different from traditional methods that explore pixel or edge informati...
195
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
We propose a new method to quickly and accurately predict 3D positions of body joints from a single depth image, using no temporal information. We take an object recognition appro...