Sciweavers

1661 search results - page 189 / 333
» Real-time specification patterns
Sort
View
COMCOM
2000
82views more  COMCOM 2000»
15 years 1 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
TKDE
2002
77views more  TKDE 2002»
15 years 1 months ago
Materialization and Its Metaclass Implementation
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...
Mohamed Dahchour, Alain Pirotte, Esteban Zim&aacut...
MCS
2008
Springer
15 years 1 months ago
Dynamical low-rank approximation: applications and numerical experiments
Dynamical low-rank approximation is a differential-equation based approach to efficiently computing low-rank approximations to time-dependent large data matrices or to solutions o...
Achim Nonnenmacher, Christian Lubich
123
Voted
HCI
2009
14 years 11 months ago
The Five Commandments of Activity-Aware Ubiquitous Computing Applications
Recent work demonstrates the potential for extracting patterns from users' behavior as detected by sensors. Since there is currently no generalized framework for reasoning abo...
Nasim Mahmud, Jo Vermeulen, Kris Luyten, Karin Con...
ICIP
2009
IEEE
16 years 2 months ago
Ppiq: A Probabilistic Framework For Image Quality Assessment
In this paper a framework for Image Quality Assessment (IQA) is introduced based on the properties of Receptive Fields (RFs) which are the primary mechanism for detection of visua...