1357 search results - page 174 / 272 » Compositional analysis for linear systems |
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—With the proliferation of wireless multimedia applications, multicast/broadcast has been recognized as an efficient technique to transmit a large volume of data to mult...
110
click to vote
CORR
2011
Springer
14 years 2 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
106
click to vote
UM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
104
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
Classifying nodes in networks is a task with a wide range of applications. It can be particularly useful in anomaly and fraud detection. Many resources are invested in the task of...
112
click to vote
PERVASIVE
2011
Springer
14 years 1 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...