1849 search results - page 188 / 370 » Intelligent Expressions of Emotions |
148
click to vote
AIPS
2008
15 years 8 months ago
2008
Within the framework of continuous and multiresources cumulative constraints, a task T expresses a piecewise linear resource function and is represented by a sequence of p contigu...
173
click to vote
FLAIRS
2007
15 years 8 months ago
2007
To describe and explain the world, scientists search for equations that quantify relations among relevant variables. We wanted to assist these efforts by a computer program inspir...
132
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
In [9], various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit ...
179
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Many inequalities involving the functions ln, exp, sin, cos, etc., can be proved automatically by MetiTarski: a resolution theorem prover (Metis) modified to call a decision proced...
132
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...