894 search results - page 78 / 179 » Game Theory with Costly Computation |
124
click to vote
ILP
2005
Springer
15 years 7 months ago
2005
Springer
Online learning algorithms such as Winnow have received much attention in Machine Learning. Their performance degrades only logarithmically with the input dimension, making them us...
129
click to vote
ICNC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Self-Organizing Maps (SOM) is a powerful tool for clustering and discovering patterns in data. Competitive learning in the SOM training process focusses on finding a neu...
115
click to vote
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
134
click to vote
FOCS
2007
IEEE
15 years 8 months ago
2007
IEEE
d Abstract) Kousha Etessami LFCS, School of Informatics University of Edinburgh Mihalis Yannakakis Department of Computer Science Columbia University We reexamine what it means to...
107
Voted
CANDC
2009
ACM
15 years 8 months ago
2009
ACM
Creativity is an important ingredient in problem solving, and problem solving is an important activity for both individuals and societies. This paper discusses our novel approach ...