Sciweavers

3892 search results - page 622 / 779
» Machine Learning for Intelligent Systems
Sort
View
IGPL
2006
110views more  IGPL 2006»
15 years 6 months ago
Adaptive Model Checking
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
Alex Groce, Doron Peled, Mihalis Yannakakis
PAMI
2008
179views more  PAMI 2008»
15 years 6 months ago
Modeling, Clustering, and Segmenting Video with Mixtures of Dynamic Textures
A dynamic texture is a spatio-temporal generative model for video, which represents video sequences as observations from a linear dynamical system. This work introduces the mixtur...
Antoni B. Chan, Nuno Vasconcelos
USS
2010
15 years 4 months ago
Acoustic Side-Channel Attacks on Printers
We examine the problem of acoustic emanations of printers. We present a novel attack that recovers what a dotmatrix printer processing English text is printing based on a record o...
Michael Backes, Markus Dürmuth, Sebastian Ger...
IUI
2012
ACM
14 years 1 months ago
Towards automatic functional test execution
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
Pablo Pedemonte, Jalal Mahmud, Tessa Lau
AIEDAM
2011
15 years 1 months ago
Discovering implicit constraints in design
In familiar design domains, expert designers are able to quickly focus on “good designs”, based on constraints they have learned while exploring the design space. This ability ...
Madan Mohan Dabbeeru, Amitabha Mukerjee