7213 search results - page 1259 / 1443 » Automated model grouping |
161
click to vote
LICS
2009
IEEE
16 years 16 days 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 ...
127
click to vote
ICPR
2010
IEEE
16 years 16 days ago
2010
IEEE
—A common problem in many areas of behavioral research is the analysis of the large volume of data recorded during the execution of the tasks being studied. Recent work has propo...
127
click to vote
AIED
2009
Springer
16 years 15 days ago
2009
Springer
Self-questioning is an important reading comprehension strategy, so it would be useful for an intelligent tutor to help students apply it to any given text. Our goal is to help chi...
168
click to vote
ATC
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...
161
click to vote
CSL
2009
Springer
16 years 14 days ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...