1055 search results - page 191 / 211 » Convex Factorization Machines |
207
click to vote
POPL
2007
ACM
16 years 22 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
81
Voted
ALT
2005
Springer
15 years 9 months ago
2005
Springer
We consider a variant of Gold’s learning paradigm where a learner receives as input n different languages (in form of one text where all input languages are interleaved). Our g...
133
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Java performance is far from being trivial to benchmark because it is affected by various factors such as the Java application, its input, the virtual machine, the garbage collect...
108
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
The TaskTracer system seeks to help multi-tasking users manage the resources that they create and access while carrying out their work activities. It does this by associating with...
114
Voted
MM
2006
ACM
15 years 6 months ago
2006
ACM
We present an efficient system for video search that maximizes the use of human bandwidth, while at the same time exploiting the machine’s ability to learn in real-time from use...