2440 search results - page 367 / 488 » Explanation-Based Feature Construction |
138
click to vote
EMMCVPR
1999
Springer
15 years 8 months ago
1999
Springer
The paper presents a new approach to recovering the 3D rigid shape of rigid objects from a 2D image sequence. The method has two distinguishing features: it exploits the rigidity o...
121
click to vote
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
165
click to vote
SP
1999
IEEE
15 years 8 months ago
1999
IEEE
There is often the need to update an installed Intrusion Detection System (IDS) due to new attack methods or upgraded computing environments. Since many current IDSs are construct...
131
click to vote
GECCO
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes the application of an arti cial immune system, AIS , model to a scheduling application, in which sudden changes in the scheduling environment require the rap...
165
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...