8099 search results - page 485 / 1620 » Higher-Order Task Models |
207
click to vote
IEEEICCI
2002
IEEE
15 years 12 months ago
2002
IEEE
We present a model of creating a hierarchical set of rules that encode generalizations and exceptions derived from induction learning. The rules use the input features directly an...
194
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
177
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
An agent may decide to delegate tasks to others. The act of delegating a task by one autonomous agent to another can be carried out by the performance of one or more imperative com...
153
click to vote
EUROCAST
2009
Springer
15 years 10 months ago
2009
Springer
The calculation of Hamiltonian Circuits is an NP-complete task. This paper uses slightly modified complete sets of Hamiltonian circuits for the classification of documents. The sol...
177
click to vote
ACL
2008
15 years 8 months ago
2008
In this work, we develop and evaluate a wide range of feature spaces for deriving Levinstyle verb classifications (Levin, 1993). We perform the classification experiments using Ba...