1992 search results - page 202 / 399 » Model Based Testing with Labelled Transition Systems |
126
Voted
AAAI
2006
15 years 5 months ago
2006
Unmotivated students do not reap the full rewards of using a computer-based intelligent tutoring system. Detection of improper behavior is thus an important component of an online...
180
Voted
PERVASIVE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...
157
Voted
AAAI
2007
15 years 6 months ago
2007
This paper addresses the problem of recovering the locations of both mobile devices and access points from radio signals that come in a stream manner, a problem which we call onli...
145
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We investigate an abstraction method, called meanfield method, for the performance evaluation of dynamic networks with pairwise communication between nodes. It allows us ...
246
click to vote
ICDT
2010
ACM
16 years 1 months ago
2010
ACM
We consider a fragment of XPath named `forward-XPath', which contains all descendant and rightwards sibling axes as well as data equality and inequality tests. The satisfiabi...