2894 search results - page 330 / 579 » Latent semantic analysis |
180
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
170
click to vote
SAFECOMP
2007
Springer
16 years 24 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
171
click to vote
MEMOCODE
2006
IEEE
16 years 21 days ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
167
click to vote
WCRE
2006
IEEE
16 years 20 days ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
234
click to vote
ICMCS
2005
IEEE
16 years 8 days ago
2005
IEEE
The development of mid-level concepts helps to bridge the gap between low-level feature and high-level semantics in video analysis. Most existing work combines the customized mid-...