8838 search results - page 1389 / 1768 » Generalizing Domain Theory |
154
click to vote
MM
2003
ACM
16 years 1 days ago
2003
ACM
Video Paper is a prototype system for multimedia browsing, analysis, and replay. Key frames extracted from a video recording are printed on paper together with bar codes that allo...
183
click to vote
PLDI
2003
ACM
16 years 1 days ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
190
click to vote
SIGIR
2003
ACM
16 years 1 days ago
2003
ACM
Thesaurus has been widely used in many applications, including information retrieval, natural language processing, and question answering. In this paper, we propose a novel approa...
188
click to vote
ASM
2003
ASM
16 years 17 hour ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
163
click to vote
ATAL
2003
Springer
16 years 17 hour ago
2003
Springer
This paper presents a multiagent-system for integrating ALICE: a real-life, distributed, large-scale particle physics experiment of the LHC project at CERN. The work is concerned ...