1413 search results - page 169 / 283 » Bisimilarity of Open Terms |
163
click to vote
ICMI
2004
Springer
15 years 12 months ago
2004
Springer
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...
153
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
188
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
160
click to vote
WABI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Contact maps are a model to capture the core information in the structure of biological molecules, e.g., proteins. A contact map consists of an ordered set ¡ of elements...
151
click to vote
WEBI
2004
Springer
15 years 12 months ago
2004
Springer
In order to achieve optimal efficiency in a learning process, individual learner needs his/her own personalized assistance. For a web-based open and dynamic learning environment, ...