1849 search results - page 229 / 370 » Intelligent Expressions of Emotions |
158
click to vote
AAAI
2004
15 years 8 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
193
click to vote
AAAI
2004
15 years 8 months ago
2004
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...
159
click to vote
AAAI
2006
15 years 8 months ago
2006
We demonstrate an end-to-end use case of the semantic web's utility for synthesizing ecological and environmental data. ELVIS (the Ecosystem Location Visualization and Inform...
158
click to vote
AAAI
2006
15 years 8 months ago
2006
One of the well known risks of large margin training methods, such as boosting and support vector machines (SVMs), is their sensitivity to outliers. These risks are normally mitig...
155
click to vote
FLAIRS
2004
15 years 8 months ago
2004
We describe an approach to presenting information in spoken dialogues that for the first time brings together multi-attribute decision models, strategic content planning, state-of...