1382 search results - page 35 / 277 » Formal Analysis of Online Algorithms |
136
click to vote
ENTER
2010
Springer
15 years 4 months ago
2010
Springer
SEMAMO (SEmantic MArket MOnitoring) is a research project seeking to make use of the increasingly growing information available at Web-based sales and marketing channels for conti...
129
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
In an earlier work, we proposed a novel phonetic segmentation method based on speech analysis under the Microcanonical Multiscale Formalism (MMF). The latter relies on the computa...
161
click to vote
TCAD
2008
15 years 5 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
165
click to vote
DRR
2003
15 years 7 months ago
2003
A prototype system has been designed to automate the extraction of bibliographic data (e.g., article title, authors, , affiliation and others) from online biomedical journals to p...
186
click to vote
ICALP
2011
Springer
14 years 9 months ago
2011
Springer
Competitive analysis is the established tool for measuring the output quality of algorithms that work in an online environment. Recently, the model of advice complexity has been in...