3856 search results - page 656 / 772 » Models for Automated Earthmoving |
175
click to vote
LICS
2009
IEEE
16 years 20 days ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
158
click to vote
LICS
2009
IEEE
16 years 20 days ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
161
click to vote
LICS
2009
IEEE
16 years 20 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 19 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...
128
click to vote
AIED
2009
Springer
16 years 19 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...