1058 search results - page 83 / 212 » It's Doomed; We Can Prove It |
KES
2004
Springer
15 years 3 months ago
2004
Springer
Human motion is a key property to understand human’s knowledge and intention. A service technician moves to achieve his duty: facility maintenance. The series of his motions is t...
RTA
2010
Springer
15 years 1 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
ECAI
2004
Springer
15 years 1 months ago
2004
Springer
Instance-based learning (IBL) algorithms have proved to be successful in many applications. However, as opposed to standard statistical methods, a prediction in IBL is usually give...
103
click to vote
SPLST
2003
14 years 11 months ago
2003
To date, there are surprisingly few collaborative applications that exploit the accessibility of the Internet. The main reason behind this is that it is rather difficult and time c...
COLING
1996
14 years 11 months ago
1996
Pattern-based machine translation systems can be easily customized by adding new patterns. To gain full profits from this character, input of patterns should be both expressive an...