Sciweavers

13099 search results - page 353 / 2620
» Cooperative method development
Sort
View
FOSAD
2005
Springer
16 years 1 months ago
Formal Methods for Smartcard Security
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
Gilles Barthe, Guillaume Dufay
190
Voted
FPL
2005
Springer
107views Hardware» more  FPL 2005»
16 years 1 months ago
Programmable Numerical Function Generators: Architectures and Synthesis Method
This paper presents an architecture and a synthesis method for programmable numerical function generators of trigonometric functions, logarithm functions, square root, reciprocal,...
Tsutomu Sasao, Shinobu Nagayama, Jon T. Butler
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
16 years 1 months ago
Evolutionary computation methods for synchronization of effects based operations
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
Jeffrey P. Ridder
130
Voted
ICCSA
2005
Springer
16 years 1 months ago
High-Level Quantum Chemical Methods for the Study of Photochemical Processes
Multireference configuration interaction calculations have been performed on the excited state energy surfaces of the methyleneimmonium cation using recently developed methods for ...
Hans Lischka, Adélia J. A. Aquino, Mario Ba...
IDA
2003
Springer
16 years 22 days ago
A Semi-supervised Method for Learning the Structure of Robot Environment Interactions
For a mobile robot to act autonomously, it must be able to construct a model of its interaction with the environment. Oates et al. developed an unsupervised learning method that pr...
Axel Großmann, Matthias Wendt, Jeremy Wyatt