4922 search results - page 662 / 985 » Internet time out |
174
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
The WWW makes learning materials widely accessible and provides an environment where people can learn across time and space. However, the simple read-only information structure on...
204
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents biologically inspired neural controllers for generating motor patterns in a quadruped robot. Sets of arti cial neural networks are presented which provide 1 p...
226
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
150
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
Usability comprises the aspects effectiveness, efficiency, and satisfaction. The correlations between these aspects are not well understood for complex tasks. We present data from...
194
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...