Sciweavers

6941 search results - page 906 / 1389
» Testing as a Certification Approach
Sort
View
IDEAS
2005
IEEE
142views Database» more  IDEAS 2005»
16 years 19 days ago
Automatically Maintaining Wrappers for Web Sources
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...
Juan Raposo, Alberto Pan, Manuel Álvarez, J...
ISMAR
2005
IEEE
16 years 19 days ago
Adaptive Line Tracking with Multiple Hypotheses for Augmented Reality
We present a real-time model-based line tracking approach with adaptive learning of image edge features that can handle partial occlusion and illumination changes. A CAD (VRML) mo...
Harald Wuest, Florent Vial, Didier Stricker
MOBIQUITOUS
2005
IEEE
16 years 19 days ago
Correlation Analysis for Alleviating Effects of Inserted Data in Wireless Sensor Networks
This paper introduces a new approach that addresses data contamination problems from attacks in unattended wireless sensor networks. We propose a sliding-window based spatio-tempo...
Sapon Tanachaiwiwat, Ahmed Helmy
SEFM
2005
IEEE
16 years 19 days ago
Formalising Control in Robust Spoken Dialogue Systems
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
Hui Shi, Robert J. Ross, John A. Bateman
WETICE
2005
IEEE
16 years 19 days ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop