2152 search results - page 182 / 431 » An Abstract Account of Composition |
167
click to vote
GW
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We introduce the use of appearance-based features, and tangent distance or the image distortion model to account for image variability within the hidden Markov model emis...
226
click to vote
IBPRIA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This article presents the results of an unsupervised segmentation algorithm in multispectral images. The algorithm uses a minimization function which takes into account e...
193
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
147
click to vote
ICNC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Humans have the ability to flexibly adjust their information processing strategy according to situational characteristics. However, such ability has been largely overloo...
177
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we...