2465 search results - page 273 / 493 » Automata on Linear Orderings |
120
Voted
CIE
2010
Springer
15 years 5 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
94
Voted
NIPS
2007
15 years 2 months ago
2007
In the online linear optimization problem, a learner must choose, in each round, a decision from a set D ⊂ Rn in order to minimize an (unknown and changing) linear cost function...
111
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
A common objective in mechanism design is to choose the outcome (for example, allocation of resources) that maximizes the sum of the agents' valuations, without introducing in...
111
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—The delivery of video content is expected to gain huge momentum, fueled by the popularity of user-generated clips, growth of VoD libraries, and wide-spread deployment of IPTV se...
109
Voted
KDD
2004
ACM
16 years 1 months ago
2004
ACM
Transformation of both the response variable and the predictors is commonly used in fitting regression models. However, these transformation methods do not always provide the maxi...