3951 search results - page 180 / 791 » Automatic amortized analysis |
182
click to vote
ITP
2010
15 years 7 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
128
click to vote
CIVR
2009
Springer
15 years 11 months ago
2009
Springer
We present an efficient world-scale system for providing automatic annotation on collections of geo-referenced photos. As a user uploads a photograph a place of origin is estimate...
100
click to vote
CICLING
2007
Springer
15 years 11 months ago
2007
Springer
This paper investigates the problem of automatic humour recognition, and provides and in-depth analysis of two of the most frequently observed features of humorous text: human-cent...
158
click to vote
PAMI
2010
14 years 11 months ago
2010
A variety of different scripts are used in writing languages throughout the world. In a multi-script, multilingual environment, it is essential to know the script used in writing a...
162
click to vote
SERP
2004
15 years 6 months ago
2004
Attention to aspect oriented programming (AOP) is rapidly growing as its benefits in large software system development and maintenance are increasingly recognized. However, existin...