7890 search results - page 476 / 1578 » The MathSAT 3 System |
203
click to vote
ENGL
2006
15 years 6 months ago
2006
Applying Vector Autoregression (VAR) and genetic algorithm (GA) in hybrid systems with neural network can improve the NN's prediction capability. Two case studies have been ca...
179
click to vote
EJIS
2007
15 years 6 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
189
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
We describe a social visualization system that monitors the vocal arousal levels of the participants in a simulated twoparty employment negotiation. In a 3x2 factorial experiment ...
135
click to vote
CCS
1997
ACM
15 years 11 months ago
1997
ACM
In this paper, we address the following problem: \ Is it possible to weaken/attack a scheme when a (provably) secure cryptosystem is used? ". The answer is yes. We exploit we...
193
click to vote
IMA
1997
Springer
15 years 11 months ago
1997
Springer
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...