Sciweavers

13090 search results - page 35 / 2618
» Usable artificial intelligence
Sort
View
AIED
2009
Springer
16 years 17 days ago
Granularity-Adaptive Proof Presentation
Marvin Schiller, Christoph Benzmüller
APN
2009
Springer
16 years 17 days ago
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets
Monika Heiner, Martin Schwarick, Alexej Tovchigrec...
AUSAI
2009
Springer
16 years 17 days ago
Decomposition of Multi-player Games
Dengji Zhao, Stephan Schiffel, Michael Thielscher