Sciweavers

10916 search results - page 2171 / 2184
» On Constructive Connectives and Systems
Sort
View
BMCBI
2004
133views more  BMCBI 2004»
13 years 6 months ago
Esub8: A novel tool to predict protein subcellular localizations in eukaryotic organisms
Background: Subcellular localization of a new protein sequence is very important and fruitful for understanding its function. As the number of new genomes has dramatically increas...
Qinghua Cui, Tianzi Jiang, Bing Liu, Songde Ma
CORR
2004
Springer
177views Education» more  CORR 2004»
13 years 6 months ago
Typestate Checking and Regular Graph Constraints
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
Viktor Kuncak, Martin C. Rinard
ACTA
2000
82views more  ACTA 2000»
13 years 6 months ago
Semantics analysis through elementary meanings
Thesaurus is a collection of words classified according to some relatedness measures among them. In this paper, we lay the theoretical foundations of thesaurus construction through...
Youichi Kobuchi, Takashi Saito, Hidenobu Nunome
BMCBI
2002
133views more  BMCBI 2002»
13 years 6 months ago
Identification and characterization of subfamily-specific signatures in a large protein superfamily by a hidden Markov model app
Background: Most profile and motif databases strive to classify protein sequences into a broad spectrum of protein families. The next step of such database studies should include ...
Kevin Truong, Mitsuhiko Ikura
CERA
2002
134views more  CERA 2002»
13 years 6 months ago
Graph Grammar Based Product Family Modeling
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
Xuehong Du, Jianxin Jiao, Mitchell M. Tseng
« Prev « First page 2171 / 2184 Last » Next »