5600 search results - page 163 / 1120 » Synthesizing robust systems |
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- The majority of slosh-control techniques have required feedback control to suppress liquid oscillations induced by container motion. However, input shaping is an alterna...
COLING
2010
13 years 4 months ago
2010
The use of semantic information to improve IR is a long-standing goal. This paper presents a novel Document Expansion method based on a WordNet-based system to find related concep...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
We present a semi-Markov model for recognizing scene text that integrates character and word segmentation with recognition. Using wavelet features, it requires only approximate lo...
IPMI
2005
Springer
14 years 10 months ago
2005
Springer
Abstract. In this paper, we propose an original and efficient tree matching algorithm for intra-patient hepatic vascular system registration. Vascular systems are segmented from CT...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...