Sciweavers

1785 search results - page 112 / 357
» Framework of Agile Patterns
Sort
View
PPDP
2005
Springer
15 years 3 months ago
Formal validation of pattern matching code
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
Claude Kirchner, Pierre-Etienne Moreau, Antoine Re...
KDD
2009
ACM
249views Data Mining» more  KDD 2009»
15 years 10 months ago
Drosophila gene expression pattern annotation using sparse features and term-term interactions
The Drosophila gene expression pattern images document the spatial and temporal dynamics of gene expression and they are valuable tools for explicating the gene functions, interac...
Shuiwang Ji, Lei Yuan, Ying-Xin Li, Zhi-Hua Zhou, ...
KDD
2009
ACM
221views Data Mining» more  KDD 2009»
15 years 10 months ago
Migration motif: a spatial - temporal pattern mining approach for financial markets
A recent study by two prominent finance researchers, Fama and French, introduces a new framework for studying risk vs. return: the migration of stocks across size-value portfolio ...
Xiaoxi Du, Ruoming Jin, Liang Ding, Victor E. Lee,...
IUI
2010
ACM
15 years 6 months ago
Usage patterns and latent semantic analyses for task goal inference of multimodal user interactions
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...
Pui-Yu Hui, Wai Kit Lo, Helen M. Meng
IROS
2006
IEEE
135views Robotics» more  IROS 2006»
15 years 3 months ago
Real-time 3D SLAM for Humanoid Robot considering Pattern Generator Information
Abstract— Humanoid robotics and SLAM (Simultaneous Localisation and Mapping) are certainly two of the most significant themes of the current worldwide robotics research effort, ...
Olivier Stasse, Andrew J. Davison, Ramzi Sellaouti...