Sciweavers

488 search results - page 6 / 98
» The descriptive complexity approach to LOGCFL
Sort
View
VLSID
2002
IEEE
189views VLSI» more  VLSID 2002»
14 years 7 months ago
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, ...
CICLING
2010
Springer
14 years 1 months ago
Chinese Event Descriptive Clause Splitting with Structured SVMs
: Chinese event descriptive clause splitting is the task of splitting a complex Chinese sentence into several clauses. In this paper, we present a discriminative approach for Chine...
Junsheng Zhou, Yabing Zhang, Xinyu Dai, Jiajun Che...
DLOG
2008
13 years 9 months ago
Paraconsistent Reasoning for Expressive and Tractable Description Logics
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
Yue Ma, Pascal Hitzler, Zuoquan Lin
BMCBI
2010
86views more  BMCBI 2010»
13 years 7 months ago
A novel approach to simulate gene-environment interactions in complex diseases
Background: Complex diseases are multifactorial traits caused by both genetic and environmental factors. They represent the major part of human diseases and include those with lar...
Roberto Amato, Michele Pinelli, Daniel D'Andrea, G...
LREC
2010
168views Education» more  LREC 2010»
13 years 8 months ago
Formal Description of Resources for Ontology-based Semantic Annotation
Ontology-based semantic annotation aims at putting fragments of a text in correspondence with proper elements of an ontology such that the formal semantics encoded by the ontology...
Yue Ma, Adeline Nazarenko, Laurent Audibert