1302 search results - page 23 / 261 » From Liveness to Promptness |
87
Voted
HUC
2010
Springer
15 years 1 months ago
2010
Springer
Engaging occupants in conservation efforts is a key part of reducing our ecological footprint. To this end, we have developed the Aware Living Interface System (ALIS), an integrat...
88
Voted
AMI
2010
Springer
14 years 11 months ago
2010
Springer
The DFKI Competence Center for Ambient Assisted Living (CCAAL) is a cross-project and cross-department virtual organization within the German Research Center for Artificial Intell...
100
Voted
ICIP
2007
IEEE
16 years 2 months ago
2007
IEEE
We propose an extension of the classical morphological filtering based on openings by line segment structuring elements. It consists in filtering a 3D+time image with the opening ...
94
Voted
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
118
Voted
SAS
1999
Springer
15 years 4 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...