Sciweavers

3328 search results - page 286 / 666
» On Plateaued Functions and Their Constructions
Sort
View
ICCS
2003
Springer
15 years 12 months ago
Monte Carlo Method for Calculating the Electrostatic Energy of a Molecule
The problem of computing the electrostatic energy of a large molecule is considered. It is reduced to solving the Poisson equation inside and the linear Poisson-Boltzmann equation ...
Michael Mascagni, Nikolai A. Simonov
CIA
2001
Springer
15 years 11 months ago
Wizard of Oz Method for Learning Dialog Agents
This paper describes a framework to construct interface agents with example dialogs based on the tasks by the machine learning technology. The Wizard of Oz method is used to collec...
Masayuki Okamoto, Yeonsoo Yang, Toru Ishida
EMSOFT
2001
Springer
15 years 11 months ago
Bus Architectures for Safety-Critical Embedded Systems
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
John M. Rushby
FSTTCS
2001
Springer
15 years 11 months ago
Rewrite Closure for Ground and Cancellative AC Theories
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...
Ashish Tiwari
ACSAC
2000
IEEE
15 years 11 months ago
Two State-based Approaches to Program-based Anomaly Detection
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
Christoph C. Michael, Anup K. Ghosh