6020 search results - page 1128 / 1204 » A New Approach to Model Counting |
140
click to vote
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Because of the advent of high-throughput sequencing and the consequent reduction in cost of sequencing, many organisms have been completely sequenced and most of their g...
168
click to vote
AIIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to relational knowledge bases. It can be used to discover interesting groupings of resources through their (semantic...
150
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Content-based image retrieval with relevant feedback has been widely adopted as the query model of choice for improved effectiveness in image retrieval. The effectiveness of thi...
190
click to vote
MMSEC
2006
ACM
15 years 10 months ago
2006
ACM
We present an efficient JPEG2000-based image authentication scheme, which is robust to JPEG compression and other allowed signal processing operations. Positive wavelet-based wate...
159
click to vote
AISADM
2005
Springer
15 years 10 months ago
2005
Springer
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...