Sciweavers

5128 search results - page 608 / 1026
» Discrete Component Analysis
Sort
View
222
Voted
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
16 years 1 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
166
Voted
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 29 days ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
197
Voted
DASFAA
2006
IEEE
133views Database» more  DASFAA 2006»
16 years 28 days ago
Mining Spatio-temporal Association Rules, Sources, Sinks, Stationary Regions and Thoroughfares in Object Mobility Databases
Abstract. As mobile devices proliferate and networks become more locationaware, the corresponding growth in spatio-temporal data will demand analysis techniques to mine patterns th...
Florian Verhein, Sanjay Chawla
161
Voted
ICMCS
2006
IEEE
124views Multimedia» more  ICMCS 2006»
16 years 27 days ago
Face Recognition using Energy Probability in DCT Domain
In this paper, we propose a novel feature extraction method for face recognition. This method is based on Discrete Cosine Transform (DCT), Energy Probability (EP), and Linear Disc...
Jean Choi, Yun-Su Chung, Ki-Hyun Kim, Jang-Hee Yoo
202
Voted
IEEEARES
2006
IEEE
16 years 27 days ago
Diagnosis of Complex Systems Using Ant Colony Decision Petri Nets
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...
Calin Ciufudean, Adrian Graur, Constantin Filote, ...