1187 search results - page 166 / 238 » Computation in Extended Argumentation Frameworks |
113
click to vote
ISCA
2003
IEEE
15 years 7 months ago
2003
IEEE
While removing software bugs consumes vast amounts of human time, hardware support for debugging in modern computers remains rudimentary. Fortunately, we show that mechanisms for ...
152
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Current approaches to pose estimation and tracking can be classified into two categories: generative and discriminative. While generative approaches can accurately determine human...
109
Voted
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
121
Voted
FOCS
2003
IEEE
15 years 7 months ago
2003
IEEE
We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old res...
122
click to vote
SMA
2008
ACM
15 years 1 months ago
2008
ACM
An algorithm and implementation is presented to compute the exact arrangement induced by arbitrary algebraic surfaces on a parametrized ring Dupin cyclide. The family of Dupin cyc...