Sciweavers

4320 search results - page 294 / 864
» Functional Objects
Sort
View
SCP
1998
134views more  SCP 1998»
15 years 6 months ago
Abstract Interpretation Using Typed Decision Graphs
Interpretation Using Typed Decision Graphs Laurent Mauborgne LIENS, ´Ecole Normale Sup´erieure, 45 rue d’Ulm, 75230 Paris cedex 05, France Abstract. This article presents a way...
Laurent Mauborgne
ICASSP
2011
IEEE
14 years 10 months ago
Motion vector recovery with Gaussian Process Regression
In this paper, we propose a Gaussian Process Regression (GPR) framework for concealment of corrupted motion vectors in predictive video coding of packet video systems. The problem...
Hadi Asheri, Abdolkhalegh Bayati, Hamid R. Rabiee,...
IJCAI
2003
15 years 8 months ago
Generalizing Plans to New Environments in Relational MDPs
A longstanding goal in planning research is the ability to generalize plans developed for some set of environments to a new but similar environment, with minimal or no replanning....
Carlos Guestrin, Daphne Koller, Chris Gearhart, Ne...
CGF
2008
135views more  CGF 2008»
15 years 6 months ago
Streaming Surface Reconstruction Using Wavelets
We present a streaming method for reconstructing surfaces from large data sets generated by a laser range scanner using wavelets. Wavelets provide a localized, multiresolution rep...
Josiah Manson, G. Petrova, Scott Schaefer
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 6 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...