245 search results - page 10 / 49 » diagrams 2010 |
DIAGRAMS
2010
Springer
13 years 11 months ago
2010
Springer
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
DIAGRAMS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
JSAT
2010
13 years 2 months ago
2010
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...
IJAR
2010
13 years 4 months ago
2010
In the original formulation of influence diagrams (IDs), each model contained exactly one utility node. Tatman and Shachter (1990), introduced the possibility of having super-valu...
VAMOS
2010
Springer
13 years 9 months ago
2010
Springer
Abstract--For two decades, feature diagrams have been intensively studied as a means to specify variability and pilot configuration in software product line engineering. Surprising...