369 search results - page 17 / 74 » diagrams 2008 |
175
click to vote
AAAI
2008
15 years 8 months ago
2008
This paper investigates the impact of symbolic search for solving domain-independent action planning problems with binary decision diagrams (BDDs). Polynomial upper and exponential...
152
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
144
click to vote
DIAGRAMS
2008
Springer
15 years 7 months ago
2008
Springer
State-space search methods in problem solving have often been illustrated using tree diagrams. We explore a set of issues related to coordination in collaborative problem solving a...
144
click to vote
BCSHCI
2008
15 years 7 months ago
2008
The visual fidelity (fidelity) of a design diagram affects perception and design performance. Hand-drawn diagrams are more effective working documents for early design tasks such ...
166
click to vote
TOSEM
2002
15 years 5 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...