605 search results - page 60 / 121 » Dynamic inference of abstract types |
144
Voted
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
141
Voted
ICML
2000
IEEE
15 years 8 months ago
2000
IEEE
The reinforcement learning problem can be decomposed into two parallel types of inference: (i) estimating the parameters of a model for the underlying process; (ii) determining be...
102
click to vote
JCC
2008
15 years 3 months ago
2008
Abstract: The dynamic behavior of monomeric Vpu1-32 from HIV-1 in different lipid environments has been studied. The peptide shows highly flexible behavior during the simulations a...
119
Voted
DALT
2006
Springer
15 years 7 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
103
click to vote
HPCNCS
2007
15 years 5 months ago
2007
Abstract—As the bandwidth of networks is increasing exponentially, the computational cost to simulate such type of networks is also growing in a similar fashion. This paper prese...