5086 search results - page 304 / 1018 » The Power of Comparative Reasoning |
198
click to vote
KAIS
2007
15 years 6 months ago
2007
Abstract. Outlier detection is concerned with discovering exceptional behaviors of objects. Its theoretical principle and practical implementation lay a foundation for some importa...
177
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
A common feature found in practically all technical approaches proposed for face recognition is the use of only the luminance information associated to the face image. One may won...
180
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
We present our development of an XML compression and querying tool, which is called XML Compression and Querying System (XCQ). This system is developed based on a novel technique ...
144
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We present randoCoP, a theorem prover for classical firstorder logic, which integrates randomized search techniques into the connection prover leanCoP 2.0. By randomly re...
170
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...