3828 search results - page 762 / 766 » Proof-Based System Engineering Using a Virtual System Model |
ICPP
2006
IEEE
14 years 1 months ago
2006
IEEE
These days an increasing number of applications, especially in science and engineering, are dealing with a massive amount of data; hence they are dataintensive. Bioinformatics, da...
MM
2006
ACM
14 years 1 months ago
2006
ACM
Most existing web video search engines index videos by file names, URLs, and surrounding texts. These types of video roughly describe the whole video in an abstract level without ...
DAMAS
2005
Springer
14 years 1 months ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
ISSRE
2003
IEEE
14 years 28 days ago
2003
IEEE
Testing is often performed frequently during development to ensure software reliability by catching regression errors quickly. However, stopping frequently to test also wastes tim...
MM
2003
ACM
14 years 28 days ago
2003
ACM
Real-time content-based access to live video data requires content analysis applications that are able to process the video data at least as fast as the video data is made availab...