Sciweavers

4814 search results - page 833 / 963
» Combining abstract interpreters
Sort
View
CORR
2004
Springer
119views Education» more  CORR 2004»
13 years 10 months ago
The Largest Compatible Subset Problem for Phylogenetic Data
Abstract. The phylogenetic tree construction is to infer the evolutionary relationship between species from the experimental data. However, the experimental data are often imperfec...
Andy Auyeung, Ajith Abraham
AAMAS
2000
Springer
13 years 10 months ago
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
Munindar P. Singh
COMCOM
2000
89views more  COMCOM 2000»
13 years 10 months ago
Operating system support for multimedia systems
Distributed multimedia applications will be an important part of tomorrow's application mix and require appropriate operating system (OS) support. Neither hard real-time solu...
Thomas Plagemann, Vera Goebel, Pål Halvorsen...
COMCOM
2002
120views more  COMCOM 2002»
13 years 10 months ago
An interactive video delivery and caching system using video summarization
With the advance of high-speed network technologies, the availability and popularity of streaming media content over the Internet has grown rapidly in recent years. The delivery a...
Sung-Ju Lee, Wei-Ying Ma, Bo Shen
DIDACTICA
2000
110views more  DIDACTICA 2000»
13 years 10 months ago
Umsetzung von Grundkonzepten der Informatik zur fachlichen Orientierung im Informatikunterricht
Abstract During its development computer science has more and more established a way it sees itself. However, in recent years the rise of distributed systems and object orientation...
Ludger Humbert