10568 search results - page 359 / 2114 » Computer Intelligence and Formalization |
134
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We describe a formalism and algorithms for game-tree search in partially-observable Euclidean space, and implementation and tests in a scenario where a multi-agent team, called tr...
168
click to vote
AISC
2010
Springer
15 years 2 months ago
2010
Springer
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
 We  present  an  agentÂbased  model  that  employs different  social  theories  and  their  combination  to explain and predict social changes.Â...
141
click to vote
FLAIRS
2006
15 years 5 months ago
2006
Automatic facial expression recognition has gained much attention during the last decade because of its potential application in areas such as more engaging humancomputer interfac...
126
click to vote
AIS
2005
Springer
15 years 4 months ago
2005
Springer
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...