1567 search results - page 142 / 314 » A Mechanized Model of the Theory of Objects |
221
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
137
click to vote
TARK
2007
Springer
15 years 7 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
139
click to vote
JOT
2008
15 years 1 months ago
2008
In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java progr...
116
click to vote
PAMI
2007
15 years 1 months ago
2007
—We have previously developed a neurodynamical model of motion segregation in cortical visual area V1 and MT of the dorsal stream. The model explains how motion ambiguities cause...
117
click to vote
KDD
2009
ACM
15 years 8 months ago
2009
ACM
As the number and size of large timestamped collections (e.g. sequences of digitized newspapers, periodicals, blogs) increase, the problem of efficiently indexing and searching su...