Sciweavers

29147 search results - page 84 / 5830
» System Modeling Resurrected
Sort
View
UTP
2010
15 years 1 months ago
On Modelling User Observations in the UTP
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
Michael J. Banks, Jeremy L. Jacob
GROUP
2010
ACM
15 years 25 days ago
Towards a group recommender process model for ad-hoc groups and on-demand recommendations
Movie recommender systems simplify the movie selection by providing movie suggestions based on the respective user's personal taste. Most of the current systems address indiv...
Christoph Beckmann, Tom Gross
TC
2002
15 years 2 months ago
Designing High Integrity Systems Using Aspects
: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms requi...
Geri Georg, Robert B. France, Indrakshi Ray
ICASSP
2011
IEEE
14 years 6 months ago
Bird species recognition combining acoustic and sequence modeling
The goal of this work was to explore modeling techniques to improve bird species classification from audio samples. We first developed an unsupervised approach to obtain approxima...
Martin Graciarena, Michelle Delplanche, Elizabeth ...
ISOLA
2010
Springer
15 years 1 months ago
Towards Dynamic Adaptation of Probabilistic Systems
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink