4457 search results - page 373 / 892 » Tests of Machine Intelligence |
180
Voted
KI
2009
Springer
16 years 2 months ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
204
Voted
LFCS
2009
Springer
16 years 2 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
207
click to vote
ICAIL
2009
ACM
16 years 2 months ago
2009
ACM
Argumentation annotation is a crucial step in applying machine learning techniques to the argumentation field. However, there exist few argumentation corpora and their developmen...
192
click to vote
CEC
2008
IEEE
16 years 2 months ago
2008
IEEE
— The problem of robotic area coverage is applicable to many domains, such as search, agriculture, cleaning, and machine tooling. The robotic area coverage task is concerned with...
165
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
Analyzing spend transactions is essential to organizations for understanding their global procurement. Central to this analysis is the automated classification of these transacti...