9405 search results - page 146 / 1881 » Computing a Model of Set Theory |
64
Voted
SSS
2010
Springer
14 years 8 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
APN
1994
Springer
15 years 2 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
91
Voted
DM
2008
14 years 8 months ago
2008
A Skolem sequence is a sequence s1, s2, . . . , s2n (where si A = {1 . . . n}), each si occurs exactly twice in the sequence and the two occurrences are exactly si positions apar...
78
Voted
IJRR
2010
14 years 8 months ago
2010
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...
61
Voted
CAE
2007
15 years 18 days ago
2007
We use a set of photographs showing similar scenes as a model for a single photograph this scene. A distance measure for this model is defined by correlating the neigborhoods of p...