Sciweavers

3113 search results - page 205 / 623
» Numerical Methods
Sort
View
KDD
2002
ACM
149views Data Mining» more  KDD 2002»
16 years 6 months ago
A system for real-time competitive market intelligence
A method is described for real-time market intelligence and competitive analysis. News stories are collected online for a designated group of companies. The goal is to detect crit...
Sholom M. Weiss, Naval K. Verma
VISUALIZATION
2002
IEEE
15 years 11 months ago
Efficient Simplification of Point-Sampled Surfaces
In this paper we introduce, analyze and quantitatively compare a number of surface simplification methods for point-sampled geometry. We have implemented incremental and hierarchi...
Mark Pauly, Markus H. Gross, Leif Kobbelt
ICRA
2009
IEEE
150views Robotics» more  ICRA 2009»
16 years 1 months ago
Analytic error variance predictions for planar vehicles
— Path planning algorithms that incorporate risk and uncertainty need to be able to predict the evolution of pathfollowing error statistics for each candidate plan. We present an...
Matthew Greytak, Franz Hover
TLCA
2009
Springer
16 years 27 days ago
Relating Classical Realizability and Negative Translation for Existential Witness Extraction
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...
Alexandre Miquel
LSSC
2005
Springer
15 years 12 months ago
Improved Solution Enclosures for Over- and Underdetermined Interval Linear Systems
Abstract. In this paper we discuss an inclusion method for solving rectangular (over- and under-determined) dense linear systems where the input data are uncertain and vary within ...
Evgenija D. Popova