2702 search results - page 276 / 541 » Practically Applicable Formal Methods |
139
Voted
ICML
1996
IEEE
16 years 3 months ago
1996
IEEE
We introduce a method for learning Bayesian networks that handles the discretization of continuous variables as an integral part of the learning process. The main ingredient in th...
98
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
To increase the relevancy of local patterns discovered from noisy relations, it makes sense to formalize error-tolerance. Our starting point is to address the limitations of state...
97
Voted
ISCAS
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper presents an original method to tune a neuromimetic IC based on neuron conductance-based models (Hodgkin-Huxley formalism). This method is well known in electrophysio...
96
Voted
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
110
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
The paper deals with on-board planning for a satellite swarm via communication and negotiation. We aim at defining individual behaviours that result in a global behaviour that me...