3116 search results - page 518 / 624 » Positively dependent types |
191
click to vote
RTSS
2008
IEEE
16 years 24 days ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
210
click to vote
AH
2008
Springer
16 years 23 days ago
2008
Springer
Abstract. In this paper, we look at initial results of data mining students’ help-seeking behaviour in two ITSs: SQL-Tutor and EER-Tutor. We categorised help given by these tutor...
185
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
A robot’s ability to assist humans in a variety of tasks, e.g. in search and rescue or in a household, heavily depends on the robot’s reliable recognition of the objects in th...
164
click to vote
ECSQARU
2007
Springer
16 years 17 days ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...
175
click to vote
PPOPP
2006
ACM
16 years 11 days ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...