Sciweavers

617 search results - page 79 / 124
» A unified language processing methodology
Sort
View
81
Voted
BMCBI
2008
151views more  BMCBI 2008»
14 years 9 months ago
An integrated database-pipeline system for studying single nucleotide polymorphisms and diseases
Background: Studies on the relationship between disease and genetic variations such as single nucleotide polymorphisms (SNPs) are important. Genetic variations can cause disease b...
Jin Ok Yang, Sohyun Hwang, Jeongsu Oh, Jong Bhak, ...
CADE
2008
Springer
15 years 10 months ago
Celf - A Logical Framework for Deductive and Concurrent Systems (System Description)
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
Anders Schack-Nielsen, Carsten Schürmann
89
Voted
CSL
2009
Springer
15 years 4 months ago
Nominal Domain Theory for Concurrency
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
David Turner, Glynn Winskel
IWRIDL
2006
ACM
149views Education» more  IWRIDL 2006»
15 years 3 months ago
From CLIR to CLIE: some lessons in NTCIR evaluation
Cross-language information retrieval (CLIR) facilitates the use of one language to access documents in other languages. Crosslanguage information extraction (CLIE) extracts releva...
Hsin-Hsi Chen
DISCEX
2003
IEEE
15 years 2 months ago
Modeling Multistep Cyber Attacks for Scenario Recognition
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
Steven Cheung, Ulf Lindqvist, Martin W. Fong