3951 search results - page 285 / 791 » Automatic amortized analysis |
171
click to vote
IJCAI
1997
15 years 8 months ago
1997
Understanding three simultaneous speeches is proposed as a challenge problem to foster artificial intelligence, speech and sound understanding or recognition, and computational au...
172
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
The Ambient Spotlight is a prototype system based on personal meeting capture using a laptop and a portable microphone array. The system automatically recognises and structures th...
191
click to vote
IV
2010
IEEE
15 years 4 months ago
2010
IEEE
The first step of any information visualization system is to enable end user to import their dataset into the system. However, non expert user are faced to the difficult task of ch...
187
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
We consider the problem of automatically extracting general lists from the web. Existing approaches are mostly dependent upon either the underlying HTML markup or the visual struc...
292
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...