29046 search results - page 187 / 5810 » Computable Models |
110
Voted
ASIACRYPT
2007
Springer
15 years 9 months ago
2007
Springer
We consider a new model for online secure computation on encrypted inputs in the presence of malicious adversaries. The inputs are independent of the circuit computed in the sense ...
121
click to vote
ICCS
2001
Springer
15 years 8 months ago
2001
Springer
We give the background and required tools for applying quasi-Monte Carlo methods efficiently to problems in computational finance, and survey recent developments in this field. W...
118
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
139
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
136
Voted
TMM
2002
15 years 3 months ago
2002
In this paper, we present a computational scene model and also derive novel algorithms for computing audio and visual scenes and within-scene structures in films. We use constraint...