3571 search results - page 300 / 715 » Cohen and Set Theory |
202
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
187
click to vote
DARE
2000
15 years 8 months ago
2000
ABSTRACTABSTRACTABSTRACTABSTRACT This paper will discus aspects of applying augmented reality technologies in architecture through experiments conducted in full-scale, and seen thr...
161
click to vote
ECSCW
1997
15 years 8 months ago
1997
The use of workflow technology has created considerable discussion within the CSCW community. Although the debates have been grounded in theories of work, less has been written abo...
161
Voted
WSC
1998
15 years 8 months ago
1998
In this paper, we develop a ranking and selection procedure for making multiple comparisons of systems that have multiple performance measures. The procedure combines multiple att...
176
click to vote
AAAI
1990
15 years 8 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...