9405 search results - page 1081 / 1881 » Computing a Model of Set Theory |
158
click to vote
HICSS
2002
IEEE
16 years 15 days ago
2002
IEEE
This paper examines challenges involved in managing product-centered communities. Using the notion of customer role ambiguity, the paper explores the ambiguity involved in balanci...
162
click to vote
EUROMICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
Metacomputing is an emergent paradigm that makes possible to distribute applications over a heterogeneous set of computing systems to exploit all available resources. The paper pr...
203
click to vote
CAV
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
192
click to vote
UAI
2004
15 years 9 months ago
2004
A causal claim is any assertion that invokes causal relationships between variables, for example, that a drug has a certain e ect on preventing a disease. Causal claims are establ...
190
click to vote
COR
2008
15 years 7 months ago
2008
The two-dimensional orthogonal packing problem (2OPP) consists in determining if a set of rectangles can be packed in a larger rectangle of fixed size. We propose an exact method ...