1382 search results - page 66 / 277 » Formal Analysis of Online Algorithms |
152
click to vote
ALGORITHMICA
2010
15 years 6 months ago
2010
We investigate the algorithmic performance of Vickrey-Clarke-Groves mechanisms in the single item case. We provide a formal definition of a Vickrey algorithm for this framework, a...
228
click to vote
KDD
2010
ACM
15 years 3 months ago
2010
ACM
The dynamic marketplace in online advertising calls for ranking systems that are optimized to consistently promote and capitalize better performing ads. The streaming nature of on...
239
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
144
click to vote
FORMATS
2005
Springer
15 years 11 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
140
click to vote
SEMWEB
2007
Springer
16 years 3 hour ago
2007
Springer
The increased availability of online knowledge has led to the design of several algorithms that solve a variety of tasks by harvesting the Semantic Web, i.e., by dynamically select...