3502 search results - page 585 / 701 » From Machine Learning to Machine Reasoning |
156
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we propose a human action recognition system suitable for embedded computer vision applications in security systems, human-computer interaction and intelligent envi...
178
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
139
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
This paper describes SHAD, a novel architecture for security in pervasive computing environments, and a prototype implementation. SHAD is a Peer-to-Peer and humancentered security...
130
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
Websites serve content both through Web Services as well as through user-viewable webpages. While the consumers of web-services are typically ‘machines’, webpages are meant fo...
100
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Botnets, networks of malware-infected machines that are controlled by an adversary, are the root cause of a large number of security problems on the Internet. A particularly sophi...