3353 search results - page 199 / 671 » Laver and set theory |
139
click to vote
ACS
2007
15 years 6 months ago
2007
We provide the appropriate common ‘(pre)framework’ for various central results of domain theory and topology, like the Lawson duality of continuous domains, the Hofmann–Lawso...
172
click to vote
TNN
1998
15 years 6 months ago
1998
— This paper proposes two hierarchical schemes for learning, one for clustering and the other for classification problems. Both schemes can be implemented on a fuzzy lattice neu...
170
click to vote
FUIN
2008
15 years 5 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
220
click to vote
JSSPP
2010
Springer
15 years 4 months ago
2010
Springer
Cluster computing is excellent for parallel computation. It has become increasingly popular. In cluster computing, a service level agreement (SLA) is a set of quality of services (...
180
click to vote
WINE
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a new solution concept for games, near-strong equilibrium, a variation of strong equilibrium. Previous work has shown the existence of 2-strong pure strategy equilibr...