7342 search results - page 1363 / 1469 » Optimal Language Learning |
123
Voted
SIGSOFT
1996
ACM
15 years 6 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
198
Voted
ACMSE
2007
ACM
15 years 5 months ago
2007
ACM
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...
115
click to vote
CASES
2007
ACM
15 years 5 months ago
2007
ACM
In this paper we describe the design and implementation of a flexible, and extensible, just-in-time ARM simulator designed to run co-operatively with a multi-core DSP simulator on...
123
Voted
DALT
2007
Springer
15 years 5 months ago
2007
Springer
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
107
click to vote
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
Efficient data retrieval from databases is a significant issue of the design of persistent systems. We propose an aspect oriented persistent system named AspectualStore. Aspectual...