Sciweavers

3670 search results - page 124 / 734
» Linear Recursive Functions
Sort
View
ICPR
2010
IEEE
15 years 12 months ago
Keyframe-Guided Automatic Non-Linear Video Editing
We describe a system for generating coherent movies from a collection of unedited videos. The generation process is guided by one or more input keyframes, which determine the cont...
Vaishnavi Rajgopalan, Ananth Ranganathan, Ramgopal...
AOSD
2010
ACM
16 years 1 months ago
Weaving generic programming and traversal performance
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
Bryan Chadwick, Karl J. Lieberherr
MCSS
2008
Springer
15 years 6 months ago
Lax-Phillips scattering theory and well-posed linear systems: a coordinate-free approach
Abstract. We give a further elaboration of the fundamental connections between Lax-Phillips scattering, conservative input/state/output linear systems and Sz.-Nagy-Foias model theo...
Joseph A. Ball, Philip T. Carroll, Yoichi Uetake
JFP
2010
142views more  JFP 2010»
15 years 4 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
PRL
2010
209views more  PRL 2010»
15 years 1 months ago
Efficient update of the covariance matrix inverse in iterated linear discriminant analysis
For fast classification under real-time constraints, as required in many imagebased pattern recognition applications, linear discriminant functions are a good choice. Linear discr...
Jan Salmen, Marc Schlipsing, Christian Igel