10159 search results - page 633 / 2032 » System Design Validation Using Formal Models |
159
click to vote
CEC
2005
IEEE
16 years 24 days ago
2005
IEEE
This paper proposes a novel face detection method based on Principal Component Analysis (PCA) and Evolutionary Algorithm (EA). In a view-based approach to face detection, the face ...
223
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
195
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Accurate simulation and analysis of wireless protocols and systems is inherently dependent on an accurate model of the underlying channel. In this paper, we show that residual ...
207
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
273
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...