932 search results - page 6 / 187 » Verifying Progress in Timed Systems |
SMC
2010
IEEE
13 years 6 months ago
2010
IEEE
— Japan is known as an “earthquake country” and hence both companies and governments require an operation management method called BCM to ensure that operations and services ...
FGCN
2007
IEEE
14 years 2 months ago
2007
IEEE
This study focuses on the gain of using progressive download instead of legacy download for streamable media files for wireless multicasting networks. With progressive download, t...
ICWN
2008
13 years 9 months ago
2008
: Problem statement: For a sensor network comprising autonomous and self-organizing data sources, efficient similarity-based search for semantic-rich resources (such as video data)...
ICDM
2002
IEEE
14 years 19 days ago
2002
IEEE
Presently, inductive learning is still performed in a frustrating batch process. The user has little interaction with the system and no control over the final accuracy and traini...
CSMR
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...