4166 search results - page 303 / 834 » A modular module system |
159
click to vote
ACL
2003
15 years 8 months ago
2003
Multimodal dialogue systems allow users to input information in multiple modalities. These systems can handle simultaneous or sequential composite multimodal input. Different coor...
194
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
299
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
149
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
150
click to vote
MS
2003
15 years 8 months ago
2003
Manufacturing test structures of microsensors and microactuators is very expensive in terms of time and materials. In a conventional design process, this limits the number of desi...