10289 search results - page 214 / 2058 » Standard bases in K |
172
click to vote
MAGS
2008
15 years 6 months ago
2008
This paper is about business modelling and negotiation protocol design in distributed scheduling, where individual agents have individual (potentially conflicting) interests. It i...
197
click to vote
UMUAI
2008
15 years 6 months ago
2008
We explored the reliability of detecting a learner's affect from conversational features extracted from interactions with AutoTutor, an intelligent tutoring system that helps...
208
click to vote
HYBRID
2011
Springer
14 years 6 months ago
2011
Springer
We examine the problem of reliable networked control when the communication channel between the controller and the actuator periodically drops packets and is faulty i.e., corrupts...
181
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We show how case bases can be compiled into Decision Diagrams, which represent the cases with reduced redundancy. Numerous computations can be performed efficiently on th...
153
click to vote
TIME
2008
IEEE
16 years 27 days ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...