8587 search results - page 1543 / 1718 » Interactive dynamic abstraction |
124
click to vote
SAB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Audition and touch endow spectral processing abilities allowing texture recognition and discrimination. Rat whiskers sensorisystem exhibits, as the cochlea, resonance pro...
143
Voted
SAMOS
2010
Springer
15 years 1 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...
120
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In Linked Data, the use of owl:sameAs is ubiquitous in interlinking data-sets. There is however, ongoing discussion about its use, and potential misuse, particularly with...
163
Voted
SIES
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In distributed embedded systems operated by battery, energy management is a critical issue that has to be addressed at different architecture levels. For systems that tig...
165
click to vote
TACAS
2010
Springer
15 years 1 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...