Sciweavers

6318 search results - page 890 / 1264
» Data Leakage Detection
Sort
View
ATVA
2009
Springer
137views Hardware» more  ATVA 2009»
16 years 1 months ago
State Space Reduction of Linear Processes Using Control Flow Reconstruction
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
Jaco van de Pol, Mark Timmer
ECMDAFA
2009
Springer
138views Hardware» more  ECMDAFA 2009»
16 years 1 months ago
A Pattern Mining Approach Using QVT
Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. Models are used in various contexts, where the possibili...
Jens Kübler, Thomas Goldschmidt
ICVS
2009
Springer
16 years 1 months ago
Incremental Video Event Learning
We propose a new approach for video event learning. The only hypothesis is the availability of tracked object attributes. The approach incrementally aggregates the attributes and r...
Marcos Zúñiga, François Br&ea...
TSD
2009
Springer
16 years 1 months ago
On a Computational Model for Language Acquisition: Modeling Cross-Speaker Generalisation
Abstract. The discovery of words by young infants involves two interrelated processes: (a) the detection of recurrent word-like acoustic patterns in the speech signal, and (b) cros...
Louis ten Bosch, Joris Driesen, Hugo Van Hamme, Lo...
CBMS
2008
IEEE
16 years 1 months ago
ACHE: An Architecture for Clinical Hypothesis Examination
Physiological monitoring equipment can be found in many hospital settings. This allows a wide range of physiological parameters to be stored, which in turn allows clinicians and a...
Laura Moss, Derek H. Sleeman, John Kinsella, Malco...