1179 search results - page 190 / 236 » Generalized Shape Autocorrelation |
161
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
161
click to vote
BMVC
2002
15 years 8 months ago
2002
A qualitative image description grammar with automatic image fitting and object modelling algorithms is presented. The grammar is based on assigning a square sub-region of an imag...
154
click to vote
AAAI
2008
15 years 7 months ago
2008
A drama manager (DM) monitors an interactive experience, such as a computer game, and intervenes to shape the global experience so it satisfies the author's expressive goals ...
150
click to vote
FLAIRS
2010
15 years 7 months ago
2010
Object search in a visual scene is a highly challenging and computationally intensive task. Most of the current object detection techniques extract features from images for classi...
117
click to vote
AVI
2008
15 years 7 months ago
2008
Pointing on screen edges is a frequent task in our everyday use of computers. Screen edges can help stop cursor movements, requiring less precise movements from the user. Thus, po...