Sciweavers

380 search results - page 11 / 76
» Trajectory Based Behavior Analysis for User Verification
Sort
View
HYBRID
2010
Springer
14 years 11 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...
75
Voted
CIKM
2009
Springer
15 years 4 months ago
Characterizing and predicting search engine switching behavior
Search engine switching describes the voluntarily transition from one Web search engine to another. In this paper we present a study of search engine switching behavior that combi...
Ryen W. White, Susan T. Dumais
ECWEB
2006
Springer
126views ECommerce» more  ECWEB 2006»
15 years 1 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
IROS
2009
IEEE
151views Robotics» more  IROS 2009»
15 years 4 months ago
A comparison of SLAM algorithms based on a graph of relations
— In this paper, we address the problem of creating an objective benchmark for comparing SLAM approaches. We propose a framework for analyzing the results of SLAM approaches base...
Wolfram Burgard, Cyrill Stachniss, Giorgio Grisett...
76
Voted
CAISE
2009
Springer
15 years 4 months ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez