2669 search results - page 434 / 534 » Complex Spatial Relationships |
109
click to vote
FOCS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
INFOVIS
1999
IEEE
15 years 2 months ago
1999
IEEE
In the process of knowledge discovery, workers examine available information in order to make sense of it. By sensemaking, we mean interacting with and operating on the informatio...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Abstract. The development of network-aware applications, i.e. applications that dynamically adapt to network conditions, has had some success in the domain of multimedia applicatio...
SP
1998
IEEE
15 years 2 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
ILP
1998
Springer
15 years 2 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...