Sciweavers

2702 search results - page 98 / 541
» Practically Applicable Formal Methods
Sort
View
LREC
2008
85views Education» more  LREC 2008»
14 years 11 months ago
A Method for Automatically Constructing Case Frames for English
Case frames are an important knowledge base for a variety of natural language processing (NLP) systems. For the practical use of these systems in the real world, wide-coverage cas...
Daisuke Kawahara, Kiyotaka Uchimoto
COMPSEC
2000
117views more  COMPSEC 2000»
14 years 9 months ago
Methods for Protecting Password Transmission
Peyravian and Zunic (2000) proposed a password transmission scheme and a password change scheme over an insecure network. Their proposed solutions do not require the use of any sym...
Mohammad Peyravian, Nevenko Zunic
EMNLP
2007
14 years 11 months ago
Large Margin Synchronous Generation and its Application to Sentence Compression
This paper presents a tree-to-tree transduction method for text rewriting. Our model is based on synchronous tree substitution grammar, a formalism that allows local distortion of...
Trevor Cohn, Mirella Lapata
WWW
2004
ACM
15 years 10 months ago
Choosing the best knowledge base system for large semantic web applications
We present an evaluation of four knowledge base systems with respect to use in large Semantic Web applications. We discuss the performance of each system. In particular, we show t...
Yuanbo Guo, Zhengxiang Pan, Jeff Heflin
BMCBI
2006
154views more  BMCBI 2006»
14 years 10 months ago
Agile methods in biomedical software development: a multi-site experience report
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...
David W. Kane, Moses M. Hohman, Ethan G. Cerami, M...