3653 search results - page 617 / 731 » On Recognizable Timed Languages |
179
click to vote
IJSC
2008
15 years 5 months ago
2008
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to t...
143
Voted
IGPL
2006
15 years 5 months ago
2006
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...
156
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Deployment of distributed applications on large systems, and especially on grid infrastructures, becomes a more and more complex task. Grid users spend a lot of time to prepare, in...
179
click to vote
JUCS
2008
15 years 5 months ago
2008
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...
180
click to vote
ENTCS
2007
15 years 5 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...