312 search results - page 21 / 63 » Structure Information in Decision Trees and Similar Formalis... |
124
Voted
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
Many bioinformatics applications would benefit from comparing proteins based on their biological role rather than their sequence. In most biological databases, proteins are alrea...
115
click to vote
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
CBMS
2008
IEEE
15 years 4 months ago
2008
IEEE
Clinical practice and research rely increasingly on analytic approaches to patient data. Visualization enables the comparative exploration of similar patients, a key requirement i...
125
click to vote
SEBD
2003
14 years 11 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...