Sciweavers

5863 search results - page 1164 / 1173
» On Model-Checking of P Systems
Sort
View
BMCBI
2002
126views more  BMCBI 2002»
13 years 10 months ago
RIO: Analyzing proteomes by automated phylogenomics using resampled inference of orthologs
Background: When analyzing protein sequences using sequence similarity searches, orthologous sequences (that diverged by speciation) are more reliable predictors of a new protein&...
Christian M. Zmasek, Sean R. Eddy
CGF
2002
149views more  CGF 2002»
13 years 10 months ago
Using Perceptual Texture Masking for Efficient Image Synthesis
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...
Bruce Walter, Sumanta N. Pattanaik, Donald P. Gree...
IJAC
2002
128views more  IJAC 2002»
13 years 10 months ago
Computational Complexity of Generators and Nongenerators in Algebra
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...
Clifford Bergman, Giora Slutzki
LOGCOM
1998
178views more  LOGCOM 1998»
13 years 10 months ago
Applying the Mu-Calculus in Planning and Reasoning about Action
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...
Munindar P. Singh
NAR
1998
73views more  NAR 1998»
13 years 10 months ago
Identification and characterization of the RAD51 gene from the ciliate Tetrahymena thermophila
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...
Colin Campbell, Daniel P. Romero
« Prev « First page 1164 / 1173 Last » Next »