4163 search results - page 74 / 833 » A comprehensive combination framework |
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper suggests using discrete feature displacements and optical flow simultaneously to determine the camera motion and its velocity. This is advantageous when the number of ...
CSB
2003
IEEE
14 years 2 months ago
2003
IEEE
We propose a statistical method for estimating a gene network based on Bayesian networks from microarray gene expression data together with biological knowledge including protein-...
SBCCI
2003
ACM
14 years 2 months ago
2003
ACM
Recycling was recently proposed as a system-level design technique to facilitate the building of complex System-on-Chips (SOC) by assembling pre-designed components. Recycling all...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In many cases, human actions can be identified not only by the singular observation of the human body in motion, but also properties of the surrounding scene and the rel...