6020 search results - page 695 / 1204 » A New Approach to Model Counting |
182
click to vote
ETFA
2005
IEEE
16 years 1 months ago
2005
IEEE
The X-by-Wire systems in cars can only be accepted if they provide at least the same dependability than the traditional ones. In this paper we propose a new approach to evaluate t...
177
click to vote
SIGIR
2005
ACM
16 years 1 months ago
2005
ACM
Summative evaluation methods for supervised adaptive topic tracking systems convolve the effect of system decisions on present utility with the effect on future utility. This pa...
198
click to vote
SIGIR
2004
ACM
16 years 28 days ago
2004
ACM
Abstract. Peer-to-peer architectures are a potentially powerful model for developing large-scale networks of text-based digital libraries, but peer-to-peer networks have so far pro...
164
click to vote
DAGM
2004
Springer
16 years 27 days ago
2004
Springer
We present a new measure for evaluation of algorithms for the detection of regions of interest (ROI) in, e.g., attention mechanisms. In contrast to existing measures, the present a...
190
click to vote
EH
2003
IEEE
16 years 24 days ago
2003
IEEE
The paper deals with a new approach to the design of adaptive hardware using common Field Programmable Gate Arrays (FPGA). The ultimate aim is to develop evolvable IP (Intellectua...