575 search results - page 19 / 115 » Towards Electrical, Integrated Implementations of SIMPL Syst... |
UAI
2003
15 years 1 months ago
2003
This paper examines a number of solution methods for decision processes with non-Markovian rewards (NMRDPs). They all exploit a temporal logic specification of the reward functio...
IJCAI
2007
15 years 1 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
133
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
107
click to vote
FLAIRS
2003
15 years 1 months ago
2003
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...
103
Voted
CCGRID
2002
IEEE
15 years 4 months ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...