To realize the long-term goal of ubiquitous computing, technological advances in multi-channel acoustic analysis are needed in order to solve several basic problems, including spe...
Dusan Macho, Jaume Padrell, Alberto Abad, Climent ...
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
While the Semantic Web is rapidly filling up, appropriate tools for searching it are still at infancy. In this paper we describe an approach that allows humans to access informatio...
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...
Proper information visualization has always been viewed as an important tool for research. Traditionally, however, it was regarded as only a tool, with information content and vis...
Igor Rojdestvenski, David Modjeska, Fredrik Petter...