3552 search results - page 649 / 711 » Proof theory in the abstract |
176
click to vote
ESANN
2004
15 years 7 months ago
2004
Abstract. Many real world problems are given in the form of multiple measurements comprising local descriptions or tasks. We propose that a dynamical organization of a population o...
153
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract Peer-to-peer markets going mobile spur spontaneity in trading considerably. Spontaneity, however, imposes severe informational requirements on the market participants. Inf...
146
click to vote
ECIS
2001
15 years 7 months ago
2001
The authors describe on going research to uncover the architectonic nature of artefacts and see how these may be related to high-level, but also grounded, model of the original pr...
189
click to vote
NIPS
2001
15 years 7 months ago
2001
Abstract--Kernel-based algorithms such as support vector machines have achieved considerable success in various problems in batch setting, where all of the training data is availab...
152
click to vote
FLAIRS
2000
15 years 7 months ago
2000
Traditional benchmarking methods for information retrieval (IR) are based on experimental performance evaluation. Although the metrics precision and recall can measure the perform...