Sciweavers

6941 search results - page 432 / 1389
» Testing as a Certification Approach
Sort
View
FORTE
2004
15 years 8 months ago
Formal Verification of Web Applications Modeled by Communicating Automata
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui
NIPS
2003
15 years 8 months ago
Semi-Supervised Learning with Trees
We describe a nonparametric Bayesian approach to generalizing from few labeled examples, guided by a larger set of unlabeled objects and the assumption of a latent tree-structure ...
Charles Kemp, Thomas L. Griffiths, Sean Stromsten,...
COLING
2002
15 years 6 months ago
Text Categorization using Feature Projections
This paper proposes a new approach for text categorization, based on a feature projection technique. In our approach, training data are represented as the projections of training ...
Youngjoong Ko, Jungyun Seo
IJCV
2008
187views more  IJCV 2008»
15 years 6 months ago
Initialization of Model-Based Vehicle Tracking in Video Sequences of Inner-City Intersections
Abstract A fully automatic initialization approach for 3Dmodel-based vehicle tracking has been developed, based on Edge-Element and Optical-Flow association. An entire automatic in...
Artur Ottlik, Hans-Hellmut Nagel
ICRA
2010
IEEE
164views Robotics» more  ICRA 2010»
15 years 5 months ago
Accurate mobile robot localization in indoor environments using bluetooth
— In this paper, we describe an accurate method for localization of a mobile robot using bluetooth. We introduce novel approaches for obtaining distance estimates and trilaterati...
Aswin N. Raghavan, Harini Ananthapadmanaban, Manim...