13553 search results - page 2256 / 2711 » A Generalized Multi-View Approach |
207
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The ability to determine what day-to-day activity (such as cooking pasta, taking a pill, or watching a video) a person is performing is of interest in many application domains. A ...
175
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Web accessibility is an important goal. However, most approaches to its attainment are based on unrealistic economic models in which Web content developers spend too much and rece...
211
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
321
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
226
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
Botnets are networks of compromised computers infected with malicious code that can be controlled remotely under a common command and control (C&C) channel. Recognized as one ...