Sciweavers

10608 search results - page 1849 / 2122
» Complexity of O'Hara's Algorithm
Sort
View
132
Voted
PLANX
2007
15 years 1 months ago
XPath Typing Using a Modal Logic with Converse for Finite Trees
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
Pierre Genevès, Nabil Layaïda, Alan Sc...
107
Voted
RSS
2007
173views Robotics» more  RSS 2007»
15 years 1 months ago
Mapping Large Loops with a Single Hand-Held Camera
— This paper presents a method for Simultaneous Localization and Mapping (SLAM), relying on a monocular camera as the only sensor, which is able to build outdoor, closed-loop map...
Laura A. Clemente, Andrew J. Davison, Ian D. Reid,...
110
Voted
UAI
2008
15 years 1 months ago
Continuous Time Dynamic Topic Models
In this paper, we develop the continuous time dynamic topic model (cDTM). The cDTM is a dynamic topic model that uses Brownian motion to model the latent topics through a sequenti...
Chong Wang, David M. Blei, David Heckerman
108
Voted
SDM
2007
SIAM
171views Data Mining» more  SDM 2007»
15 years 1 months ago
A Better Alternative to Piecewise Linear Time Series Segmentation
Time series are difficult to monitor, summarize and predict. Segmentation organizes time series into few intervals having uniform characteristics (flatness, linearity, modality,...
Daniel Lemire
98
Voted
SECRYPT
2007
121views Business» more  SECRYPT 2007»
15 years 1 months ago
Using Steganography to Improve Hash Functions' Collision Resistance
Lately, hash function security has received increased attention. Especially after the recent attacks that were presented for SHA-1 and MD5, the need for a new and more robust hash...
Emmanouel Kellinis, Konstantinos Papapanagiotou
« Prev « First page 1849 / 2122 Last » Next »