8094 search results - page 342 / 1619 » Improvements in Formula Generalization |
146
click to vote
SDM
2010
SIAM
15 years 7 months ago
2010
SIAM
The Passive Aggressive framework [1] is a principled approach to online linear classification that advocates minimal weight updates i.e., the least required so that the current tr...
181
click to vote
MASCOTS
2001
15 years 7 months ago
2001
Farsite is a scalable, distributed file system that logically functions as a centralized file server but that is physically implemented on a set of client desktop computers. Farsi...
189
Voted
ENTCS
2006
15 years 6 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...
178
click to vote
IVC
2006
15 years 6 months ago
2006
In this paper, we propose a new method to estimate players' and ball's positions from monocular broadcast soccer video. With the relationship between objects and the cam...
161
click to vote
ENGL
2007
15 years 6 months ago
2007
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...