2625 search results - page 143 / 525 » Applications 2000 |
139
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
151
Voted
ETD2000
1995
15 years 7 months ago
1995
This paper reports the application of evolutionary computation in the automatic generation of a neural network architecture.It is a usual practice to use trial and error to find a...
140
click to vote
OWLED
2007
15 years 5 months ago
2007
Taking care of an elderly in loss of cognitive autonomy is a challenging task. Artificial agents, such as the Telehealth Smart Home (TSH) system can facilitate that task. However,...
107
click to vote
IMAGING
2001
15 years 5 months ago
2001
In this paper, we present a spherical sampling technique that can be employed to find optimal sensors for trichromatic color applications. The advantage over other optimization te...
103
click to vote
ANLP
2000
15 years 5 months ago
2000
This paper describes an application of APE (the Atlas Planning Engine), an integrated planning and execution system at the heart of the Atlas dialogue management system. APE contr...