1021 search results - page 114 / 205 » Concepts in Proof Planning |
176
click to vote
ICMI
2004
Springer
15 years 11 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, ...
165
click to vote
ICALT
2003
IEEE
15 years 11 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...
159
click to vote
ICDAR
2003
IEEE
15 years 11 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...
179
click to vote
DAC
2009
ACM
15 years 11 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...
163
click to vote
EASSS
2001
Springer
15 years 11 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...