Sciweavers

17450 search results - page 3087 / 3490
» Numerical Methods with Applications
Sort
View
CORR
2010
Springer
170views Education» more  CORR 2010»
15 years 7 months ago
Global Optimization for Value Function Approximation
Existing value function approximation methods have been successfully used in many applications, but they often lack useful a priori error bounds. We propose a new approximate bili...
Marek Petrik, Shlomo Zilberstein
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 7 months ago
Data Stream Clustering: Challenges and Issues
Very large databases are required to store massive amounts of data that are continuously inserted and queried. Analyzing huge data sets and extracting valuable pattern in many appl...
Madjid Khalilian, Norwati Mustapha
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 7 months ago
Algorithmic Detection of Computer Generated Text
ct Computer generated academic papers have been used to expose a lack of thorough human review at several computer science conferences. We assess the problem of classifying such do...
Allen Lavoie, Mukkai Krishnamoorthy
CORR
2010
Springer
94views Education» more  CORR 2010»
15 years 7 months ago
Real-Time Multi-path Tracking of Probabilistic Available Bandwidth
Applications such as traffic engineering and network provisioning can greatly benefit from knowing, in real time, what is the largest input rate at which it is possible to transmit...
Frederic Thouin, Mark Coates, Michael Rabbat
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 7 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...
« Prev « First page 3087 / 3490 Last » Next »