1021 search results - page 114 / 205 » Concepts in Proof Planning |
ICMI
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we describe the concept of a new modality for interaction with digital maps. We propose using inclination as a means for panning maps on a mobile computing device, ...
ICALT
2003
IEEE
14 years 2 months ago
2003
IEEE
Students often turn to their peers for help in order to learn a new concept or lesson introduced by a teacher in class. This establishes roles of tutor and learner between student...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
A novel technique is presented in this paper to extract strings in color images of both Business Settlement Plan (BSP) and non-BSP airline coupon. The essential concept is to remo...
DAC
2009
ACM
14 years 1 months ago
2009
ACM
We propose GRIP, a scalable global routing technique via Integer Programming (IP). GRIP optimizes wirelength and via cost without going through a layer assignment phase. GRIP sele...
EASSS
2001
Springer
14 years 1 months ago
2001
Springer
This contribution presents a knowledge-based model of the agents’ mutual awareness (social knowledge) and justifies its role in various classes of applications of the concept of...