5401 search results - page 370 / 1081 » Using Versions in GIS |
158
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
In a tutoring system based on an exploratory environment, it is also important to provide direct guidance to students. We endowed iList, our linked list tutor, with the ability to ...
148
Voted
CONTEXT
2001
Springer
15 years 11 months ago
2001
Springer
We develop a probabilistic criterion for belief expansion that is sensitive to the degree of contextual fit of the new information to our belief set as well as to the reliability...
197
Voted
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract Parallel algorithms for the approximation of a multi-dimensional integral over an hyper-rectangular region are discussed. Algorithms based on quasi-Monte Carlo techniques ...
158
click to vote
WDAG
2001
Springer
15 years 11 months ago
2001
Springer
Distributed queuing is a fundamental coordination problem, arising in a variety of applications, including distributed shared memory, distributed directories, and totally ordered ...
187
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...