Sciweavers

2490 search results - page 393 / 498
» A General Method for Feature Matching and Model Extraction
Sort
View
PPDP
2009
Springer
15 years 8 months ago
Context-based proofs of termination for typed delimited-control operators
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
Malgorzata Biernacka, Dariusz Biernacki
KDID
2004
137views Database» more  KDID 2004»
15 years 4 months ago
Condensed Representation of EPs and Patterns Quantified by Frequency-Based Measures
Emerging patterns (EPs) are associations of features whose frequencies increase significantly from one class to another. They have been proven useful to build powerful classifiers ...
Arnaud Soulet, Bruno Crémilleux, Fran&ccedi...
125
Voted
GECCO
2008
Springer
115views Optimization» more  GECCO 2008»
15 years 4 months ago
A genetic programming approach to business process mining
The aim of process mining is to identify and extract process patterns from data logs to reconstruct an overall process flowchart. As business processes become more and more comple...
Chris J. Turner, Ashutosh Tiwari, Jörn Mehnen
113
Voted
CIKM
2008
Springer
15 years 5 months ago
Searching the wikipedia with contextual information
We propose a framework for searching the Wikipedia with contextual information. Our framework extends the typical keyword search, by considering queries of the type q, p , where q...
Antti Ukkonen, Carlos Castillo, Debora Donato, Ari...
132
Voted
IROS
2009
IEEE
148views Robotics» more  IROS 2009»
15 years 10 months ago
On the error analysis of vertical line pair-based monocular visual odometry in urban area
Abstract— When a robot travels in urban area, Global Positional System (GPS) signals might be obstructed by buildings. Hence visual odometry is a choice. We notice that the verti...
Ji Zhang, Dezhen Song