4708 search results - page 201 / 942 » Generating the Structure of Argument |
169
click to vote
BIOADIT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Simple linear readouts from generic neural microcircuit models can be trained to generate and control basic movements, e.g., reaching with an arm to various target points...
184
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Many web queries seek information about named entities (such as products or people). Web search engines federate such entity-oriented queries to relevant structured databases; the...
177
click to vote
IPMI
1999
Springer
15 years 10 months ago
1999
Springer
Three dimensional models of anatomical structures are currently used to aid in medical diagnosis, treatment, surgical guidance, and surgical simulation. Limitations on the resolut...
145
click to vote
AUSAI
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Autonomous agents decide for themselves, on the basis of their beliefs, goals, etc., how to act in an environment. However, it is often the case that an agent is motivate...
165
click to vote
TPHOL
1994
IEEE
15 years 10 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...