Sciweavers

3760 search results - page 534 / 752
» Logic-Based Probabilistic Modeling
Sort
View
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 7 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...
CIKM
2006
Springer
15 years 7 months ago
Matching directories and OWL ontologies with AROMA
This paper presents a simple and adaptable matching method dealing with web directories, catalogs and OWL ontologies. By using a well-known Knowledge Discovery in Databases model,...
Jérôme David, Fabrice Guillet, Henri ...
ECWEB
2006
Springer
126views ECommerce» more  ECWEB 2006»
15 years 7 months ago
Web User Segmentation Based on a Mixture of Factor Analyzers
Abstract. This paper proposes an approach for Web user segmentation and online behavior analysis based on a mixture of factor analyzers (MFA). In our proposed framework, we model u...
Yanzan Zhou, Bamshad Mobasher
CVPR
2010
IEEE
15 years 7 months ago
Integrated Pedestrian Classification and Orientation Estimation
This paper presents a novel approach to single-frame pedestrian classification and orientation estimation. Unlike previous work which addressed classification and orientation sepa...
Markus Enzweiler, Dariu Gavrila
BMVC
2002
15 years 6 months ago
Estimating Lighting Direction and Classifying Textures
The appearance of a rough surface is affected by the direction from which it is lit and texture classifiers should account for this. We propose a classifier that is robust to ligh...
Mike J. Chantler, Ged McGunnigle, A. Penirschke, M...