3116 search results - page 565 / 624 » Positively dependent types |
DARE
2000
14 years 11 months ago
2000
Our work in the field of mixed reality has been concerned with the development of the mixed reality boundary approach. In contrast to other approaches that focus on superimposing ...
AAAI
1994
14 years 11 months ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mod...
GI
2008
Springer
14 years 11 months ago
2008
Springer
: As data and services are increasingly distributed in the network, rather than stored in a fixed location, one can imagine a scenario in which the Personal Computer, intended as a...
AIEDU
2007
14 years 10 months ago
2007
This paper presents two new corpus-based studies of feedback in the domain of teaching Spanish as a foreign language, concentrating on the type and frequency of different feedback ...