1128 search results - page 157 / 226 » Classical Natural Deduction |
108
Voted
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
We consider the quantum complexities of the following three problems: searching an ordered list, sorting an un-ordered list, and deciding whether the numbers in a list are all dis...
100
Voted
DSN
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper tests the hypothesis that generic recovery techniques, such as process pairs, can survive most application faults without using application-specific information. We ex...
93
Voted
HT
2000
ACM
15 years 5 months ago
2000
ACM
This paper discusses hypermedia aspects of the design of a Virtual Project Room. Based on ethnographic and participatory design studies of landscape architects’ and architects&#...
87
Voted
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
Many applied problems in domains such as military operations, manufacturing, and logistics require that entities change location under certain constraints. These problems are trad...
CSL
2000
Springer
15 years 5 months ago
2000
Springer
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...