Sciweavers

232 search results - page 16 / 47
» Merging Features in Featured Transition Systems
Sort
View
KDD
1998
ACM
99views Data Mining» more  KDD 1998»
13 years 11 months ago
Learning to Predict the Duration of an Automobile Trip
In this paper, weexplore the use of machinelearning and data mining to improvethe prediction of travel times in an automobile. Weconsider two formulations of this problem, one tha...
Simon Handley, Pat Langley, Folke A. Rauscher
CLEF
2010
Springer
13 years 8 months ago
WePS-3 Evaluation Campaign: Overview of the Web People Search Clustering and Attribute Extraction Tasks
The third WePS (Web People Search) Evaluation campaign took place in 2009-2010 and attracted the participation of 13 research groups from Europe, Asia and North America. Given the ...
Javier Artiles, Andrew Borthwick, Julio Gonzalo, S...
ICMCS
2007
IEEE
255views Multimedia» more  ICMCS 2007»
14 years 1 months ago
Distributed Architecture for Large Scale Image-Based Search
In recent years, some computer vision algorithms such as SIFT (Scale Invariant Feature Transform) have been employed in image similarity match to perform image-based search applic...
Yu Zheng, Xing Xie, Wei-Ying Ma
SOSYM
2002
123views more  SOSYM 2002»
13 years 7 months ago
A structured operational semantics for UML-statecharts
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
Michael von der Beeck
CAV
1997
Springer
202views Hardware» more  CAV 1997»
13 years 11 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi