Sciweavers

4270 search results - page 241 / 854
» A Permutation Approach to Validation
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
Automated Generation of Context-Aware Tests
The incorporation of context-awareness capabilities into pervasive applications allows them to leverage contextual information to provide additional services while maintaining an ...
Zhimin Wang, Sebastian G. Elbaum, David S. Rosenbl...
ICCD
2008
IEEE
122views Hardware» more  ICCD 2008»
16 years 3 months ago
Acquiring an exhaustive, continuous and real-time trace from SoCs
— The amount of time and resources that have to be spent on debugging of embedded cores continuously increases. Approaches valid 10 years ago can no longer be used due to the var...
Christian Hochberger, Alexander Weiss
ESSOS
2010
Springer
16 years 3 months ago
Formally-Based Black-Box Monitoring of Security Protocols
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
Alfredo Pironti, Jan Jürjens
ICDAR
2009
IEEE
16 years 1 months ago
Unsupervised HMM Adaptation Using Page Style Clustering
In this paper we present an innovative two-stage adaptation approach for handwriting recognition that is based on clustering of similar pages in the training data. In our approach...
Huaigu Cao, Rohit Prasad, Shirin Saleem, Premkumar...
ICRA
2009
IEEE
157views Robotics» more  ICRA 2009»
16 years 1 months ago
Modeling and 3D local estimation for in-plane and out-of-plane motion guidance by 2D ultrasound-based visual servoing
Abstract— This paper presents a new model-free visual servoing that is able to servo a robotized 2D ultrasound probe that interacts with a soft tissue object. It makes direct use...
Rafik Mebarki, Alexandre Krupa, François Ch...