Sciweavers

875 search results - page 140 / 175
» Representing distributed systems using the Open Provenance M...
Sort
View
ICS
1992
Tsinghua U.
15 years 1 months ago
The CODE 2.0 graphical parallel programming language
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
Peter Newton, James C. Browne
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 1 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
102
Voted
CVPR
2003
IEEE
15 years 11 months ago
Learning Dynamics for Exemplar-based Gesture Recognition
This paper addresses the problem of capturing the dynamics for exemplar-based recognition systems. Traditional HMM provides a probabilistic tool to capture system dynamics and in ...
Ahmed M. Elgammal, Vinay D. Shet, Yaser Yacoob, La...
ENTCS
2006
140views more  ENTCS 2006»
14 years 9 months ago
Stochastic Ambient Calculus
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
Maria Grazia Vigliotti, Peter G. Harrison
KDD
2012
ACM
179views Data Mining» more  KDD 2012»
13 years 3 days ago
Transparent user models for personalization
Personalization is a ubiquitous phenomenon in our daily online experience. While such technology is critical for helping us combat the overload of information we face, in many cas...
Khalid El-Arini, Ulrich Paquet, Ralf Herbrich, Jur...