9405 search results - page 1132 / 1881 » Computing a Model of Set Theory |
179
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
187
click to vote
IJFIPM
2008
15 years 7 months ago
2008
Abstract: Sexually transmitted diseases and infections are, by definition, transferred among intimate social settings. Although the circumstances under which these social settings ...
335
click to vote
CVIU
1999
15 years 7 months ago
1999
An important problem in computer vision is to determine how features extracted from images are connected to an existing model. In this paper, we focus on solving the registration ...
223
click to vote
ICWS
2010
IEEE
15 years 6 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
234
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. An epidemic is malicious code running on a subset of a community, a homogeneous set of instances of an application. Syzygy is an epidemic detection framework that looks f...