342 search results - page 27 / 69 » The Foundations and Architecture of Autotutor |
CACM
2010
15 years 1 months ago
2010
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...
121
click to vote
SPAA
2006
ACM
15 years 7 months ago
2006
ACM
In response to current technology scaling trends, architects are developing a new style of processor, known as spatial computers. A spatial computer is composed of hundreds or eve...
107
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
107
click to vote
ESAW
2006
Springer
15 years 5 months ago
2006
Springer
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
118
click to vote
JSAC
2006
15 years 1 months ago
2006
A systematic understanding of the decomposability structures in network utility maximization is key to both resource allocation and functionality allocation. It helps us obtain the...