13827 search results - page 2594 / 2766 » The state of artificial intelligence |
241
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a novel method to process large scale, ground level Light Detection and Ranging (LIDAR) data to automatically detect geo-referenced navigation attributes (traf...
232
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Active inference seeks to maximize classification performance while minimizing the amount of data that must be labeled ex ante. This task is particularly relevant in the context o...
210
click to vote
ICFCA
2007
Springer
15 years 11 months ago
2007
Springer
Different rule semantics have been successively defined in many contexts such as implications in artificial intelligence, functional dependencies in databases or association rules...
332
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
201
click to vote
AIRS
2004
Springer
15 years 11 months ago
2004
Springer
Abundant Chinese paraphrasing resource on Internet can be attained from different Chinese translations of one foreign masterpiece. Paraphrases corpus is the corpus that includes s...