Sciweavers

4008 search results - page 291 / 802
» An expressive language of signatures
Sort
View
CORR
2009
Springer
106views Education» more  CORR 2009»
15 years 4 months ago
A framework for protein and membrane interactions
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
Giorgio Bacci, Davide Grohmann, Marino Miculan
NAR
2011
202views Computer Vision» more  NAR 2011»
14 years 9 months ago
PREX: PeroxiRedoxin classification indEX, a database of subfamily assignments across the diverse peroxiredoxin family
PREX (http://www.csb.wfu.edu/prex/) is a database of currently 3516 peroxiredoxin (Prx or PRDX) protein sequences unambiguously classified into one of six distinct subfamilies. Pe...
Laura Soito, Chris Williamson, Stacy T. Knutson, J...
ECCV
2004
Springer
16 years 8 months ago
Hand Gesture Recognition within a Linguistics-Based Framework
An approach to recognizing human hand gestures from a monocular temporal sequence of images is presented. Of particular concern is the representation and recognition of hand movem...
Konstantinos G. Derpanis, Richard P. Wildes, John ...
ICTAI
2007
IEEE
16 years 1 months ago
Dragon Toolkit: Incorporating Auto-Learned Semantic Knowledge into Large-Scale Text Retrieval and Mining
The majority of text retrieval and mining techniques are still based on exact feature (e.g. words) matching and unable to incorporate text semantics. Many researchers believe that...
Xiaohua Zhou, Xiaodan Zhang, Xiaohua Hu
ESOP
2005
Springer
16 years 7 days ago
Computationally Sound, Automated Proofs for Security Protocols
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
Véronique Cortier, Bogdan Warinschi