Sciweavers

3670 search results - page 124 / 734
» Linear Recursive Functions
Sort
View
ICPR
2010
IEEE
15 years 10 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
15 years 11 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 4 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 3 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»
14 years 11 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