780 search results - page 55 / 156 » Reasoning about sets using redescription mining |
136
click to vote
KDD
2001
ACM
16 years 4 months ago
2001
ACM
We introduce and evaluate TreeDT, a novel gene mapping method which is based on discovering and assessing tree-like patterns in genetic marker data. Gene mapping aims at discoveri...
148
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
141
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
126
click to vote
DIAGRAMS
2000
Springer
15 years 8 months ago
2000
Springer
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
121
Voted
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...