3951 search results - page 205 / 791 » Automatic amortized analysis |
290
click to vote
COMPSYSTECH
2010
15 years 4 months ago
2010
: The interest of the scientific community for anthropocentric (human-centered) video analysis stems from the fact that the extracted information (e.g. human presence, identity, bo...
168
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
157
click to vote
COLING
2010
15 years 1 months ago
2010
Because English is a low morphology language, current statistical parsers tend to ignore morphology and accept some level of redundancy. This paper investigates how costly such re...
161
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
The paper provides insights into our efforts to develop techniques for the analysis of visual art. The AUTHENTIC project aims at creating a collection of software tools to support...
140
Voted
RTAS
1996
IEEE
15 years 10 months ago
1996
IEEE
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an enviro...