9067 search results - page 543 / 1814 » Adaptive Model Checking |
169
click to vote
VLDB
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we present a tool for enhanced exploration of OLAP data that is adaptive to a user's prior knowledge of the data. The tool continuously keeps track of the parts...
246
click to vote
IADIS
2004
15 years 8 months ago
2004
This paper presents the design principles, development and implementation of an e-learning framework, called Intelligent Cognitive Agents (InCA). The InCA framework is an ontology...
159
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
A nonlinear observer for estimation of the longitudinal velocity, lateral velocity, and yaw rate of a vehicle, designed for the purpose of vehicle side-slip estimation, is modifie...
186
Voted
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we present a novel, threshold-free robust estimation framework capable of efficiently fitting models to contaminated data. While RANSAC and its many variants have...
324
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...