1302 search results - page 23 / 261 » From Liveness to Promptness |
HUC
2010
Springer
13 years 9 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...
AMI
2010
Springer
13 years 7 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...
ICIP
2007
IEEE
14 years 9 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 ...
FROCOS
2005
Springer
14 years 1 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 (...
SAS
1999
Springer
14 years 8 days 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...