1849 search results - page 266 / 370 » Intelligent Expressions of Emotions |
235
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...
134
click to vote
HRI
2009
ACM
16 years 1 months ago
2009
ACM
This paper explores the use of an outcome matrix as a computational representation of social interaction suitable for implementation on a robot. An outcome matrix expresses the re...
156
click to vote
IEEESCC
2009
IEEE
16 years 26 days ago
2009
IEEE
—The easiest way for a user to express his needs regarding a desired service is to use natural language. The main issues come from the fact that the natural language is incomplet...
179
click to vote
WOLLIC
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
153
click to vote
WOLLIC
2009
Springer
16 years 24 days ago
2009
Springer
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...