Sciweavers

4353 search results - page 752 / 871
» Expressiveness of Process Algebras
Sort
View
CLEF
2009
Springer
14 years 11 months ago
LogCLEF 2009: The CLEF 2009 Multilingual Logfile Analysis Track Overview
Log data constitute a relevant aspect in the evaluation process of the quality of a search engine and the quality of a multilingual search service; log data can be used to study t...
Thomas Mandl, Maristella Agosti, Giorgio Maria Di ...
FSTTCS
2008
Springer
14 years 11 months ago
Runtime Monitoring of Metric First-order Temporal Properties
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
David A. Basin, Felix Klaedtke, Samuel Müller...
HUC
2010
Springer
14 years 10 months ago
Tasking networked CCTV cameras and mobile phones to identify and localize multiple people
We present a method to identify and localize people by leveraging existing CCTV camera infrastructure along with inertial sensors (accelerometer and magnetometer) within each pers...
Thiago Teixeira, Deokwoo Jung, Andreas Savvides
AGILEDC
2007
IEEE
14 years 10 months ago
Does the XP environment meet the motivational needs of the software developer? An empirical study
This paper examines how XP practice meets the motivational needs of software developers. Interactions with peers have been identified by others as one potential area of (de)motiva...
Sarah Beecham, Helen Sharp, Nathan Baddoo, Tracy H...
IAT
2007
IEEE
14 years 10 months ago
Similarity-Based Fuzzy Clustering for User Profiling
User profiling is a fundamental task in Web personalization. Fuzzy clustering is a valid approach to derive user profiles by capturing similar user interests from web usage data a...
Giovanna Castellano, Anna Maria Fanelli, Corrado M...