Sciweavers

830 search results - page 143 / 166
» Approximation power of directionlets
Sort
View
JFP
2008
125views more  JFP 2008»
13 years 8 months ago
Types and trace effects of higher order programs
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
Christian Skalka, Scott F. Smith, David Van Horn
JMLR
2008
137views more  JMLR 2008»
13 years 8 months ago
Online Learning of Complex Prediction Problems Using Simultaneous Projections
We describe and analyze an algorithmic framework for online classification where each online trial consists of multiple prediction tasks that are tied together. We tackle the prob...
Yonatan Amit, Shai Shalev-Shwartz, Yoram Singer
MCS
2008
Springer
13 years 8 months ago
Numerical optimal control of the wave equation: optimal boundary control of a string to rest in finite time
In many real-life applications of optimal control problems with constraints in form of partial differential equations (PDEs), hyperbolic equations are involved which typically desc...
Matthias Gerdts, Günter Greif, Hans Josef Pes...
APIN
2005
101views more  APIN 2005»
13 years 8 months ago
Pitch-Dependent Identification of Musical Instrument Sounds
This paper describes a musical instrument identification method that takes into consideration the pitch dependency of timbres of musical instruments. The difficulty in musical inst...
Tetsuro Kitahara, Masataka Goto, Hiroshi G. Okuno
TOG
2008
102views more  TOG 2008»
13 years 8 months ago
A meshless hierarchical representation for light transport
We introduce a meshless hierarchical representation for solving light transport problems. Precomputed radiance transfer (PRT) and finite elements require a discrete representation...
Jaakko Lehtinen, Matthias Zwicker, Emmanuel Turqui...