Sciweavers

179 search results - page 27 / 36
» Functional Framework for Sound Synthesis
Sort
View
97
Voted
SAC
2003
ACM
15 years 2 months ago
ARCHITECT-R: A System for Reconfigurable Robots Design
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
R. A. Gonçalves, P. A. Moraes, João ...
95
Voted
ISPW
2005
IEEE
15 years 3 months ago
Automatically Analyzing Software Processes: Experience Report
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Os...
85
Voted
FOSSACS
2010
Springer
15 years 25 days ago
Untyped Recursion Schemes and Infinite Intersection Types
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
Takeshi Tsukada, Naoki Kobayashi
91
Voted
CVPR
2012
IEEE
12 years 12 months ago
Boosting algorithms for simultaneous feature extraction and selection
The problem of simultaneous feature extraction and selection, for classifier design, is considered. A new framework is proposed, based on boosting algorithms that can either 1) s...
Mohammad J. Saberian, Nuno Vasconcelos
ICCV
2005
IEEE
15 years 11 months ago
Appearance Modeling Under Geometric Context
We propose a unified framework based on a general definition of geometric transform (GeT) for modeling appearance. GeT represents the appearance by applying designed functionals o...
Jian Li, Shaohua Kevin Zhou, Rama Chellappa