3906 search results - page 363 / 782 » From grids to places |
161
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that portfolios of backtracking algorith...
184
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
Unknown environments pose a particular challenge for augmented reality applications because the 3D models required for tracking, rendering and interaction are not available ahead ...
154
click to vote
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
The future mass deployment of pervasive and dense sensor network infrastructures calls for proper mechanisms to enable extracting general-purpose data from them at limited costs a...
179
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
189
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...