5401 search results - page 365 / 1081 » Using Versions in GIS |
118
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
We describe research on data-drive refinement and evaluation of a probabilistic model of student learning for an educational game on number factorization. The model is to be used b...
191
click to vote
ASP
2005
Springer
16 years 8 days ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
174
Voted
CIE
2005
Springer
16 years 8 days ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
180
click to vote
RTA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper shows that the suitable orderings for proving innermost termination are characterized by the innermost parallel monotonicity, IP-monotonicity for short. This p...
147
click to vote
STACS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We consider data structures and algorithms for preprocessing a labelled list of length n so that, for any given indices i and j we can answer queries of the form: What is...