1973 search results - page 171 / 395 » The Construction of Ludic Space |
165
click to vote
COCO
2009
Springer
16 years 1 months ago
2009
Springer
We study the task of randomness extraction from sources which are distributed uniformly on an unknown algebraic variety. In other words, we are interested in constructing a functi...
178
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents an interdisciplinary investigation of statistical information retrieval (IR) techniques for protein identification from tandem mass spectra, a challenging probl...
163
click to vote
KBSE
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
152
click to vote
IJCNN
2007
IEEE
16 years 23 days ago
2007
IEEE
– Constructive algorithms are effective methods for designing Artificial Neural Networks (ANN) with good accuracy and generalization capability, yet with parsimonious network str...
167
click to vote
WADS
2007
Springer
16 years 17 days ago
2007
Springer
We present new asymptotically tight bounds on cuttings, a fundamental data structure in computational geometry. For n objects in space and a parameter r ∈ N, an 1 r -cutting is ...