10568 search results - page 1767 / 2114 » Computer Intelligence and Formalization |
139
click to vote
WAPCV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper proposes a neuronal-based solution to active visual search, that is, visual search for a given target in displays that are too large in spatial extent to be in...
149
click to vote
SIGIR
2003
ACM
15 years 10 months ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed....
135
click to vote
WPES
2003
ACM
15 years 10 months ago
2003
ACM
We present a model and protocol for anonymous credentials. Rather than using deterrents to ensure non-transferability, our model uses secure hardware with biometric authentication...
148
Voted
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
176
click to vote
MICRO
2002
IEEE
15 years 9 months ago
2002
IEEE
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...