529 search results - page 22 / 106 » C Essentials |
NAACL
2010
13 years 5 months ago
2010
Previous work on dependency parsing used various kinds of combination models but a systematic analysis and comparison of these approaches is lacking. In this paper we implemented ...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
To segment a whole object from an image is an essential and challenging task in image processing. In this paper, we propose a hybrid segmentation algorithm which combines prior sh...
DAC
1999
ACM
14 years 8 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
Diffeomorphic non-rigid registration of shapes is a very difficult problem. We use the point-set representation for shapes since statistical shape analysis in this space is relati...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...