1175 search results - page 185 / 235 » Abstract computability and algebraic specification |
COMSIS
2010
13 years 6 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
ACCV
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We propose a novel method to detect human poses in videos by concurrently optimizing body part matching and object segmentation. With a single exemplar image, the propose...
MICRO
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
The observation models in tracking algorithms are critical to both tracking performance and applicable scenarios but are often simplified to focus on fixed level of certain target...
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. We present a new technique to recover the shape of an unknown smooth specular surface from a single image. A calibrated camera faces a specular surface reflecting a calib...