862 search results - page 98 / 173 » A Solution for the Problem of Interactive Disambiguation |
149
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
The first steps towards bridging the paper-digital divide have been achieved with the development of a range of technologies that allow printed documents to be linked to digital c...
161
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
As planning agents grow more sophisticated, issues of plan representation arise alongside concerns with plan generation. Planning methods work over increasingly large and difficul...
149
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
The paper presents an evaluation method for e-learning platforms, based on different types of measurements collected in logs of interactions during learning sessions, and on the an...
177
click to vote
AAAI
2007
15 years 8 months ago
2007
Solving logic puzzles has become a very popular past-time, particularly since the Sudoku puzzle started appearing in newspapers all over the world. We have developed a puzzle gene...
152
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...