Sciweavers

3238 search results - page 480 / 648
» Not Enough Points Is Enough
Sort
View
EMNLP
2009
13 years 8 months ago
A Rich Feature Vector for Protein-Protein Interaction Extraction from Multiple Corpora
Because of the importance of proteinprotein interaction (PPI) extraction from text, many corpora have been proposed with slightly differing definitions of proteins and PPI. Since ...
Makoto Miwa, Rune Sætre, Yusuke Miyao, Jun-i...
EUROPKI
2009
Springer
13 years 8 months ago
ABUSE: PKI for Real-World Email Trust
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...
Chris Masone, Sean W. Smith
EXACT
2009
13 years 8 months ago
Towards the Explanation of Workflows
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
James Michaelis, Li Ding, Deborah L. McGuinness
FLAIRS
2009
13 years 8 months ago
Improving Biomedical Document Retrieval by Mining Domain Knowledge
When research articles introduce new findings or concepts they typically relate them only to knowledge and domain concepts of immediate relevance. However, many domain concepts re...
Shuguang Wang, Milos Hauskrecht
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 8 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero