76 search results - page 8 / 16 » Verifying Real-Time Systems against Scenario-Based Requireme... |
110
click to vote
ISCA
2007
IEEE
14 years 9 months ago
2007
IEEE
Hyperspectral sensors represent the most advanced instruments currently available for remote sensing of the Earth. The high spatial and spectral resolution of the images supplied ...
TEC
2002
14 years 9 months ago
2002
A novel approach to hardware fault tolerance is demonstrated that takes inspiration from the human immune system as a method of fault detection. The human immune system is a remark...
108
click to vote
FAC
2008
14 years 9 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Wireless sensor networks (WSNs) are subject to significant resource constraints. Particularly, routing protocols for lowrate WSNs suffer from maintaining routing metrics and sta...
123
click to vote
ISDA
2010
IEEE
14 years 6 months ago
2010
IEEE
The usage of Gaussian mixture models for video segmentation has been widely adopted. However, the main difficulty arises in choosing the best model complexity. High complex models ...