3025 search results - page 483 / 605 » Interaction in the large |
IOT
2010
13 years 7 months ago
2010
Persuasive energy monitoring technology has the potential to inspire sustainable energy lifestyles within the home. However, to effect positive ecological behaviour change, a more ...
SAMOS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...
TACAS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
EUSFLAT
2009
13 years 7 months ago
2009
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...
GI
2009
Springer
13 years 7 months ago
2009
Springer
: The evolution and structuring of plant communities is governed by local plant-to-plant interaction. It has been shown that the individual variability of the organisms and the spa...