4328 search results - page 339 / 866 » A New Kind of Science |
179
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Statistical query (SQ) learning model of Kearns is a natural restriction of the PAC learning model in which a learning algorithm is allowed to obtain estimates of statistical prop...
197
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We introduce a new tool for approximation and testing algorithms called partitioning oracles. We develop methods for constructing them for any class of bounded-degree graphs wit...
221
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
180
click to vote
BIBE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Following the technological advances that have enabled genome-wide analysis in most model organisms over the last ten years, there has been unprecedented growth in genome and po...
183
click to vote
ACSC
2007
IEEE
16 years 1 months ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...