3353 search results - page 283 / 671 » Laver and set theory |
183
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...
157
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...
160
click to vote
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...
171
click to vote
AAAI
1990
15 years 7 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 ...
162
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...