13306 search results - page 2317 / 2662 » Theoretical Computer Science |
200
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
194
click to vote
AIED
2009
Springer
16 years 2 months ago
2009
Springer
Identifying effective tutorial strategies is a key problem for tutorial dialogue systems research. Ongoing work in human-human tutorial dialogue continues to reveal the complex phe...
190
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
We present a general methodology to automate the search for equilibrium strategies in games derived from computational experimentation. Our approach interleaves empirical game-the...
201
click to vote
CSEE
2009
Springer
16 years 2 months ago
2009
Springer
This paper reports on results from a pilot study that used Bloom’s Taxonomy to observe cognition levels during software inspections conducted by undergraduate computer science a...
213
click to vote
CSEE
2009
Springer
16 years 2 months ago
2009
Springer
As software engineering educators, it is important for us to realize the increasing domainspecificity of software, and incorporate these changes in our design of teaching material...