4520 search results - page 777 / 904 » Algebraic Techniques for Timed Systems |
157
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
It is generally acknowledged that macroinvertebrates are good indicators of water quality in streams, as a number of taxa are sensitive to pollution and integrate their response t...
159
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We investigate the use of on-line contextual video assistance to improve the learnability of software functionality. After discussing motivations and design goals for such forms o...
331
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper deals with feature matching and segmentation of common objects in a pair of images, simultaneously. For the feature matching problem, the matching likelihoods of all fea...
179
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
143
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Children need to master reading letter-names and lettersounds before reading phrases and sentences. Pronunciation assessment of letter-names and letter-sounds read aloud is an imp...