7049 search results - page 52 / 1410 » Data Abstraction for CSP-OZ |
ESANN
2007
14 years 3 days 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 ...
LREC
2008
14 years 2 days 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
14 years 4 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...
ROBOCUP
2005
Springer
14 years 4 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...
TYPES
1993
Springer
14 years 2 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...