6978 search results - page 1387 / 1396 » On Proofs in System P |
CGF
2002
13 years 7 months ago
2002
Texture mapping has become indispensable in image synthesis as an inexpensive source of rich visual detail. Less obvious, but just as useful, is its ability to mask image errors d...
IJAC
2002
13 years 7 months ago
2002
Abstract. We discuss the computational complexity of several problems concerning subsets of an algebraic structure that generate the structure. We show that the problem of determin...
LOGCOM
1998
13 years 7 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
NAR
1998
13 years 7 months ago
1998
The RAD51 gene is a eukaryotic homolog of recA, a critical component in homologous recombination and DNA repair pathways in Escherichia coli. We have cloned the RAD51 homolog from...
SAC
2002
ACM
13 years 7 months ago
2002
ACM
We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of thi...