Sciweavers

4008 search results - page 420 / 802
» An expressive language of signatures
Sort
View
IUI
2006
ACM
16 years 25 days ago
Intelligent fridge poetry magnets
This paper presents a community of communicating embodied agents which learn an adjacency-based grammar from user interactions. The agents act as intelligent fridge magnets, each ...
Kavita Thomas, Pierre Proske, Mattias Rickardsson
168
Voted
SEFM
2005
IEEE
16 years 13 days ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
153
Voted
ER
2005
Springer
137views Database» more  ER 2005»
16 years 12 days ago
An Approach to Broaden the Semantic Coverage of ACL Speech Acts
Current speech-act based ACLs specify domain-independent information about communication and relegate domain-dependent information to an unspecified content language. This is reas...
Hong Jiang, Michael N. Huhns
HPCC
2005
Springer
16 years 12 days ago
Factory: An Object-Oriented Parallel Programming Substrate for Deep Multiprocessors
Abstract. Recent advances in processor technology such as Simultaneous Multithreading (SMT) and Chip Multiprocessing (CMP) enable parallel processing on a single die. These process...
Scott Schneider, Christos D. Antonopoulos, Dimitri...
IJCNLP
2005
Springer
16 years 11 days ago
Machine Translation Based on Constraint-Based Synchronous Grammar
This paper proposes a variation of synchronous grammar based on the formalism of context-free grammar by generalizing the first component of productions that models the source text...
Fai Wong, Dong-Cheng Hu, Yu-Hang Mao, Ming-Chui Do...