3571 search results - page 370 / 715 » On the Power of Imperfect Information |
182
click to vote
FORMATS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
208
click to vote
KES
2007
Springer
16 years 29 days ago
2007
Springer
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...
174
click to vote
KI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Prototype-based clustering algorithms such as the Self Organizing Map (SOM) or Neural Gas (NG) offer powerful tools for automated data inspection. The distribution of pr...
162
click to vote
MKM
2007
Springer
16 years 28 days ago
2007
Springer
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...
189
click to vote
RULEML
2007
Springer
16 years 28 days ago
2007
Springer
The SWRLTab is a development environment for working with SWRL rules in Protégé-OWL. It supports the editing and execution of SWRL rules. It also provides mechanisms to allow int...