9067 search results - page 549 / 1814 » Adaptive Model Checking |
177
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Current e-learning standards have been designed to provide reusability of educational contents and interoperability between systems. Besides these features, content perso...
212
click to vote
AAAI
2008
15 years 9 months ago
2008
We describe a novel integration of Planning with Probabilistic State Estimation and Execution resulting in a unified representational and computational framework based on declarat...
190
click to vote
IADIS
2004
15 years 8 months ago
2004
The paper presents the results of an empirical study on users' behaviors when they were asked to perform a task and its variant in a usability test. Specific focus was set on...
177
click to vote
COMCOM
2002
15 years 6 months ago
2002
IP over ATM technique is gaining popularity due to the Quality of Service (QoS) and other management features offered by ATM and its ease of integration with almost all existing t...
209
click to vote
MVA
2002
15 years 6 months ago
2002
2 Adaptive Background Model Tracking people has received considerable attention by computer vision researchers. Interest is motivated by the broad range of potential applications s...