550 search results - page 84 / 110 » A lightweight approach to state based security testing |
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
A variant of the k-nearest neighbor algorithm is proposed for image interpolation. Instead of using a static volume or static k, the proposed algorithm determines a dynamic k that...
83
Voted
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper presents technology for performing autonomous commanding of a planetary rover. Through the use of AI planning, scheduling and execution techniques, the OASIS autonomo...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
We present a novel approach to plan recognition based on a two-stage paradigm of graph construction and analysis. First, a graph structure called a Goal Graph is constructed to rep...
ESANN
2007
14 years 11 months ago
2007
This paper presents our Recurrent Control Neural Network (RCNN), which is a model-based approach for a data-efficient modelling and control of reinforcement learning problems in di...
ACL
2004
14 years 11 months ago
2004
This paper presents a Chinese word segmentation system which can adapt to different domains and standards. We first present a statistical framework where domain-specific words are...