366 search results - page 66 / 74 » Syntactic Abstraction of B Models to Generate Tests |
ICDE
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— We propose the Multi-resolution Correlation Cluster detection (MrCC), a novel, scalable method to detect correlation clusters able to analyze dimensional data in the ra...
SIAMJO
2010
14 years 8 months ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
103
click to vote
ECCV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We propose a new method for face recognition under arbitrary pose and illumination conditions, which requires only one training image per subject. Furthermore, no limitat...
83
Voted
BC
2006
14 years 10 months ago
2006
Abstract Multiple sensory-motor maps located in the brainstem and the cortex are involved in spatial orientation. Guiding movements of eyes, head, neck and arms they provide an app...
CLEF
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper describes an investigation of data fusion techniques for spoken document retrieval. The effectiveness of retrievals solely based on the outputs from automatic...