Sciweavers

6318 search results - page 905 / 1264
» Data Leakage Detection
Sort
View
RTSS
2005
IEEE
16 years 12 days ago
Fast On-the-Fly Parametric Real-Time Model Checking
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
Dezhuang Zhang, Rance Cleaveland
ACMACE
2005
ACM
16 years 12 days ago
SymBall: camera driven table tennis for mobile phones
We present a table tennis game concept, implemented for Symbian OS/Series 60 mobile phones, using the phone's integrated camera as the main game controller. The game demonstr...
Mika Hakkarainen, Charles Woodward
168
Voted
FSKD
2005
Springer
212views Fuzzy Logic» more  FSKD 2005»
16 years 10 days ago
Application of Fuzzy Similarity to Prediction of Epileptic Seizures Using EEG Signals
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...
Xiaoli Li, Xin Yao
GECCO
2005
Springer
113views Optimization» more  GECCO 2005»
16 years 10 days ago
Estimating the detector coverage in a negative selection algorithm
This paper proposes a statistical mechanism to analyze the detector coverage in a negative selection algorithm, namely a quantitative measurement of a detector set’s capability ...
Zhou Ji, Dipankar Dasgupta
ICESS
2005
Springer
16 years 10 days ago
Formalization of fFSM Model and Its Verification
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
Sachoun Park, Gihwon Kwon, Soonhoi Ha