2673 search results - page 528 / 535 » Guided Static Analysis |
CCE
2007
13 years 7 months ago
2007
This paper presents a systematic approach based on robust statistical techniques for development of a data-driven soft sensor, which is an important component of the process analy...
COMCOM
2007
13 years 7 months ago
2007
Sensor replacement is important for sensor networks to provide continuous sensing services. Upon sensor node failures, holes (uncovered areas) may appear in the sensing coverage. ...
JCM
2008
13 years 7 months ago
2008
In this paper, we present a new simulation platform for complex, radio standard spanning mobile Ad Hoc networks. SimANet - Simulation Platform for Ambient Networks - allows the coe...
JAR
2006
13 years 7 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
CVIU
2007
13 years 7 months ago
2007
Facial expression recognition is an active research area that finds a potential application in human emotion analysis. This work presents an illumination independent approach for...