9067 search results - page 506 / 1814 » Adaptive Model Checking |
186
click to vote
ACL
2012
13 years 9 months ago
2012
This system demonstration paper presents IRIS (Informal Response Interactive System), a chat-oriented dialogue system based on the vector space model framework. The system belongs...
176
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose several models based on discrete-time Markov chains for the analysis of Distributed Hash Tables (DHTs). Specifically, we examine the Pastry routing protocol, as well a...
169
click to vote
ICALT
2005
IEEE
16 years 19 days ago
2005
IEEE
Based on the overall aims of the AdeLE (Adaptive e-Learning with Eye-Tracking) project, and in particular motivated by the decision of using a strictly separated system’s archit...
173
click to vote
BMVC
2001
15 years 9 months ago
2001
This paper tackles the problem of robust change detection in image sequences from static cameras. Motion cues are detected using frame differencing with an adaptive background est...
213
click to vote
CIBSE
2009
ACM
15 years 11 months ago
2009
ACM
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...