1508 search results - page 153 / 302 » A Combination Method for Generating Interpolants |
238
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
178
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
159
click to vote
BMVC
2001
15 years 8 months ago
2001
We demonstrate a novel method for producing a synthetic talking head. The method is based on earlier work in which the behaviour of a synthetic individual is generated by referenc...
180
click to vote
DICTA
2007
15 years 8 months ago
2007
A common problem when using automated structure from motion techniques is that the object to be modelled can only be partially reconstructed from the video. This can occur because...
148
click to vote
EMNLP
2008
15 years 8 months ago
2008
We present a study on how grammar binarization empirically affects the efficiency of the CKY parsing. We argue that binarizations affect parsing efficiency primarily by affecting ...