8201 search results - page 323 / 1641 » Approaching Manual Intelligence |
232
click to vote
ICTAI
2006
IEEE
16 years 1 months ago
2006
IEEE
In order for an autonomous agent to behave robustly in a variety of environments, it must have the ability to learn approximations to many different functions. The function approx...
163
Voted
AIED
2005
Springer
16 years 1 months ago
2005
Springer
We hereby describe DIANE an environment that aims at performing an automatic diagnosis on arithmetic problems depending on the productions of the learners. This work relies on resu...
181
Voted
AMAI
2004
Springer
16 years 28 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
252
click to vote
KR
2004
Springer
16 years 27 days ago
2004
Springer
The demand for ontologies is rapidly growing especially due to developments in knowledge management, E-commerce and the Semantic Web. Building an ontology and a background knowled...
246
click to vote
MICAI
2004
Springer
16 years 27 days ago
2004
Springer
Three-dimensional (3D) registration is the process aligning the range data sets form different views in a common coordinate system. In order to generate a complete 3D model, we nee...