Sciweavers

12981 search results - page 28 / 2597
» Artificial Intelligence
Sort
View
110
Voted
AIED
2009
Springer
16 years 6 days ago
Granularity-Adaptive Proof Presentation
Marvin Schiller, Christoph Benzmüller
129
Voted
APN
2009
Springer
16 years 6 days ago
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets
Monika Heiner, Martin Schwarick, Alexej Tovchigrec...
125
Voted
AUSAI
2009
Springer
16 years 6 days ago
A Memory-Based Approach to Two-Player Texas Hold'em
Jonathan Rubin, Ian Watson
124
Voted
AUSAI
2009
Springer
16 years 6 days ago
Decomposition of Multi-player Games
Dengji Zhao, Stephan Schiffel, Michael Thielscher