3823 search results - page 309 / 765 » Experiments with Random Projection |
130
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
155
click to vote
ICST
2011
IEEE
14 years 8 months ago
2011
IEEE
—A known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether the computation result is actually checked against expectations. In ...
133
click to vote
ACL
2012
13 years 7 months ago
2012
This paper presents a novel top-down headdriven parsing algorithm for data-driven projective dependency analysis. This algorithm handles global structures, such as clause and coor...
148
click to vote
ICCBR
2009
Springer
15 years 11 months ago
2009
Springer
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...
126
click to vote
SAT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...