6155 search results - page 871 / 1231 » A language for multiple models of computation |
272
Voted
Book
"TeX is a tool for creating professional quality, typeset pages of any kind. It is particularly good, perhaps unsurpassed, at typesetting mathematics ; as a result, it is wide...
147
Voted
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...
158
click to vote
CBMS
2009
IEEE
16 years 1 months ago
2009
IEEE
Biomedical scientists generate, access, validate and interpret multiple distributed and heterogeneous data sets. Semantic annotations for these data sets are paramount for exchang...
148
click to vote
AIED
2007
Springer
16 years 29 days ago
2007
Springer
The relationship between emotions and learning was investigated by tracking the emotions that college students experienced while learning about computer literacy with AutoTutor. Au...
158
click to vote
CP
2007
Springer
16 years 28 days ago
2007
Springer
The typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-w...