2954 search results - page 334 / 591 » Beyond |
157
click to vote
ESORICS
2004
Springer
16 years 10 hour ago
2004
Springer
We describe an approach to sensor-based authentication that can adapt to accommodate incomplete, unreliable, or inaccurate input provided to the system. Parameterized Authenticatio...
156
click to vote
FPGA
2004
ACM
16 years 8 hour ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
175
click to vote
KDD
2004
ACM
15 years 12 months ago
2004
ACM
We present a graph-theoretic approach to discover storylines from search results. Storylines are windows that offer glimpses into interesting themes latent among the top search re...
149
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
We consider Dung’s argumentation framework, in which an argument system consists of a set of arguments and a binary relation between arguments representing the notion of a conï¬...
203
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...