1581 search results - page 222 / 317 » Mechanizing Inductive Reasoning |
116
click to vote
KDD
2012
ACM
13 years 2 months ago
2012
ACM
Crowdsourcing has recently become popular among machine learning researchers and social scientists as an effective way to collect large-scale experimental data from distributed w...
109
click to vote
TMC
2012
13 years 2 months ago
2012
The FCC ruling on Nov 4th, 2008 on white spaces has opened up the possibility of wireless network deployments over white spaces, i.e., vacant UHF TV channels. A key requirement fo...
108
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new stereo matching algorithm based on inter-regional cooperative optimization. The proposed algorithm uses regions as matching primitives and defines the co...
123
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...