3481 search results - page 472 / 697 » Architecture as Object Models of Software |
135
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
155
click to vote
CCE
2010
15 years 1 months ago
2010
In this work we address the problem of solving multiscenario optimization models that are deterministic equivalents of two-stage stochastic programs. We present a heuristic approx...
113
click to vote
WSC
1997
15 years 5 months ago
1997
Simulation optimization can be defined as the process of finding the best input variable values from among all possibilities without explicitly evaluating each possibility. The ob...
147
click to vote
ECIS
2000
15 years 5 months ago
2000
Different models of Decision Support Systems (DSS) are used in medicine to help physicians in disease diagnosis, prognosis evaluation and therapy prescription. The DSS models rely ...
156
click to vote
ESSLLI
2009
Springer
15 years 2 months ago
2009
Springer
We present an implemented model for speech recognition in natural environments which relies on contextual information about salient entities to prime utterance recognition. The hyp...