8201 search results - page 1359 / 1641 » Approaching Manual Intelligence |
189
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
175
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
There is an establishing trend towards the socialization of the web. Virtual communities are becoming very popular web spaces for collaboration and knowledge sharing. However, stu...
164
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Our work explores an interactive open learner modelling (IOLM) approach where learner diagnosis is considered as an interactive process involving both a computer system and a learn...
179
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we describe Big Red, the Cornell University Robot Soccer team. The success of our team at the 1999 competition can be mainly attributed to three points: 1) An integra...
185
click to vote
IATA
1998
Springer
15 years 11 months ago
1998
Springer
We present an approach to resource allocation in telecommunications networks based on the interaction of self-interested agents which have limited information about their environme...