1929 search results - page 106 / 386 » Change Propagation Analysis Using Domain Information |
153
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
131
click to vote
IVIC
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes our work in examining the question of whether providing a visual informatics application in an educational scenario, in particular, providing video content ana...
128
click to vote
MLDM
2005
Springer
15 years 9 months ago
2005
Springer
We propose an unsupervised, probabilistic method for learning visual feature hierarchies. Starting from local, low-level features computed at interest point locations, the method c...
138
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Responses of Gabor wavelets in the mid-frequency space build a local spectral representation scheme with optimal properties regarding the time-frequency uncertainty principle. How...
142
click to vote
ASWC
2006
Springer
15 years 7 months ago
2006
Springer
Automated Web service composition and automated Web service annotation could be seen as complimentary methodologies. While automated annotation allows to extract Web service semant...