Sciweavers

13099 search results - page 353 / 2620
» Cooperative method development
Sort
View
167
Voted
FOSAD
2005
Springer
16 years 8 days 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
FPL
2005
Springer
107views Hardware» more  FPL 2005»
16 years 8 days 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 8 days 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
ICCSA
2005
Springer
16 years 8 days 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
15 years 12 months 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