5550 search results - page 271 / 1110 » Different Approaches to Proof Systems |
154
click to vote
VLSISP
2010
15 years 5 months ago
2010
Fine-grained accelerators have the potential to deliver significant benefits in various platforms for embedded signal processing. Due to the moderate complexity of their targeted o...
159
click to vote
ACL
2009
15 years 4 months ago
2009
Statistical language modeling (SLM) has been used in many different domains for decades and has also been applied to information retrieval (IR) recently. Documents retrieved using...
161
click to vote
ANLP
1992
15 years 7 months ago
1992
This paper describes an approach to the treatment of nominal compounds in a machine translation project employing a modern unification-based system. General problems connected wit...
160
click to vote
DEDS
2010
15 years 4 months ago
2010
Abstract We present an optimal timing control formulation for the problem of controlling autonomous puppets. In particular, by appropriately timing the different movements, entire ...
185
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In stereovision systems, the depth information of objects in the scene can be obtained by estimating the disparity, i.e. the displacement of corresponding pixels in the image pair...