10435 search results - page 1914 / 2087 » Computational Biology and Language |
166
click to vote
GW
2005
Springer
16 years 3 days ago
2005
Springer
We aim at creating an expressive Embodied Conversational Agent (ECA) and address the problem of synthesizing expressive agent gestures. In our previous work, we have described the ...
156
click to vote
HUC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...
165
click to vote
HVC
2005
Springer
16 years 3 days ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
154
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
A union-find data structure maintains a collection of disjoint sets under makeset, union and find operations. Kaplan, Shafrir and Tarjan [SODA 2002] designed data structures for ...
182
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...