7049 search results - page 52 / 1410 » Data Abstraction for CSP-OZ |
88
Voted
ESANN
2007
15 years 2 months ago
2007
Abstract. Discovering the topology of a set of labeled data in a Euclidian space can help to design better decision systems. In this work, we propose a supervised generative model ...
100
click to vote
LREC
2008
15 years 2 months ago
2008
This paper introduces a new architecture that aims at combining molecular biology data with information automatically extracted from scientific literature (using text mining techn...
MOBILERESPONSE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The coordinated reaction to a large-scale disaster is a challenging research problem. The Robocup rescue simulation league addresses this research problem but is currentl...
68
Voted
ROBOCUP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper proposes a novel method for supervised classification based on the methodology of Q-analysis. The classification is based on finding ‘relevant’ structur...
129
Voted
TYPES
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...