Sciweavers

6087 search results - page 582 / 1218
» Knowledge discovery methods
Sort
View
APLAS
2009
ACM
16 years 1 months ago
The Higher-Order, Call-by-Value Applied Pi-Calculus
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
Nobuyuki Sato, Eijiro Sumii
EVOW
2010
Springer
16 years 1 months ago
A Local Search Appproach for Transmembrane Segment and Signal Peptide Discrimination
Discriminating between secreted and membrane proteins is a challenging task. This is particularly true for discriminating between transmembrane segments and signal peptides because...
Sami Laroum, Dominique Tessier, Béatrice Du...
ICPR
2008
IEEE
16 years 1 months ago
Augment document image binarization by learning
Conventional Binarization methods try to obtain optimal results based on the single image only. They make distinct diversity of binarization quality sometimes even for images of t...
Yuanping Zhu
WISE
2007
Springer
16 years 1 months ago
Wikipedia Mining for an Association Web Thesaurus Construction
Wikipedia has become a huge phenomenon on the WWW. As a corpus for knowledge extraction, it has various impressive characteristics such as a huge amount of articles, live updates, ...
Kotaro Nakayama, Takahiro Hara, Shojiro Nishio
SG
2005
Springer
16 years 17 days ago
Automatic Cross-Sectioning Based on Topological Volume Skeletonization
: Cross-sectioning is a popular method for visualizing the complicated inner structures of three-dimensional volume datasets. However, the process is usually manual, meaning that a...
Yuki Mori, Shigeo Takahashi, Takeo Igarashi, Yurik...