1965 search results - page 347 / 393 » On the analysis of interacting pushdown systems |
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
MM
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we describe MusicStory, a system that automatically creates videos to accompany music with lyrics. MusicStory uses common search engines, photo-sharing websites, an...
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
CSCW
2004
ACM
14 years 2 months ago
2004
ACM
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...