1551 search results - page 32 / 311 » How Typical is the |
128
click to vote
WSC
1997
15 years 5 months ago
1997
Active and cooperative learning methods represent a paradigm shift in the delivery of engineering education. These techniques recognize that the passive model of the typical colle...
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
189
click to vote
NOTERE
2010
15 years 2 months ago
2010
Abstract—An approach is presented for flexible support of devices in smart homes, meeting the needs of both home automation and telecare. Device services are introduced as a gen...
114
click to vote
COGSR
2011
14 years 11 months ago
2011
Experiments on visual search have demonstrated the existence of a relatively large and reliable memory for which objects have been fixated; an indication of this memory is that re...
118
click to vote
IUI
1999
ACM
15 years 8 months ago
1999
ACM
From the few evaluations of adaptive navigation systems that have been performed, we see an emerging pattern where depending upon the domain, only certain types of adaptive naviga...