Sciweavers

3928 search results - page 613 / 786
» order 2006
Sort
View
CAISE
2006
Springer
15 years 9 months ago
A Task-Driven Design Model for Collaborative AmI Systems
Abstract. Ambient intelligence (AmI) is a promising paradigm for humancentred interaction based on mobile and context-aware computing, natural interfaces and collaborative work. AM...
Roberto F. Arroyo, Miguel Gea, José Luis Ga...
CODES
2006
IEEE
15 years 9 months ago
Efficient computation of buffer capacities for multi-rate real-time systems with back-pressure
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...
Maarten Wiggers, Marco Bekooij, Pierre G. Jansen, ...
CONCUR
2006
Springer
15 years 9 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
DAGM
2006
Springer
15 years 9 months ago
Phase Based 3D Texture Features
In this paper, we present a novel method for the voxel-wise extraction of rotation and gray-scale invariant features. These features are used for simultaneous segmentation and clas...
Janis Fehr, Hans Burkhardt
DAWAK
2006
Springer
15 years 9 months ago
COBRA: Closed Sequential Pattern Mining Using Bi-phase Reduction Approach
Sequential pattern mining aims to find frequent patterns (guarded by a minimum support) in a database of sequences. As the support decreases the number of sequential patterns will...
Kuo-Yu Huang, Chia-Hui Chang, Jiun-Hung Tung, Chen...