13090 search results - page 2472 / 2618 » Usable artificial intelligence |
198
click to vote
ICDM
2007
IEEE
15 years 9 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...
178
click to vote
ICFCA
2007
Springer
15 years 9 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...
286
click to vote
ACL2
2006
ACM
15 years 9 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...
166
click to vote
AIRS
2004
Springer
15 years 9 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...
186
click to vote
AIRS
2006
Springer
15 years 9 months ago
2006
Springer
Recently, much research has been proposed using nature inspired algorithms to perform complex machine learning tasks. Ant Colony Optimization (ACO) is one such algorithm based on s...