Sciweavers

481 search results - page 12 / 97
» Toward an Abstract Computer Virology
Sort
View
PPAM
2007
Springer
14 years 2 months ago
A Formal Model of Multi-agent Computations
Abstract. The paper contains an extension of a formal model of multiagent computing system developed in previous publications towards considering a more general system state. We pr...
Maciej Smolka
TSD
2005
Springer
14 years 1 months ago
The Role of Speech in Multimodal Human-Computer Interaction
Abstract. Natural audio-visual interface between human user and machine requires understanding of user’s audio-visual commands. This does not necessarily require full speech and ...
Hynek Hermansky, Petr Fousek, Mikko Lehtonen
ESWS
2010
Springer
14 years 29 days ago
A Hybrid Model and Computing Platform for Spatio-semantic Trajectories
Abstract. Spatio-temporal data management has progressed significantly towards efficient storage and indexing of mobility data. Typically such mobility data analytics is assumed t...
Zhixian Yan, Christine Parent, Stefano Spaccapietr...
ICCS
2004
Springer
14 years 1 months ago
Towards a Generalised Runtime Environment for Parallel Haskells
Abstract. Implementations of parallel dialects (or: coordination languages) on a functional base (or: computation) language always have to extend complex runtime environments by th...
Jost Berthold
CAISE
2010
Springer
13 years 4 months ago
Towards Automated Inconsistency Handling in Design Models
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
Marcos Aurélio Almeida da Silva, Alix Mouge...