Sciweavers

1266 search results - page 67 / 254
» AS Relationships: Inference and Validation
Sort
View
CORR
2010
Springer
90views Education» more  CORR 2010»
14 years 10 months ago
On Constructive Connectives and Systems
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
Arnon Avron, Ori Lahav
ISPA
2005
Springer
15 years 3 months ago
CMSA: A Method for Construction and Maintenance of Semantic Annotations
An important precondition for the success of the Semantic Web is founded on the principle that the content of web pages will be semantically annotated. In this paper, we propose a ...
Lixin Han, Guihai Chen, Linping Sun, Li Xie
ACL
2009
14 years 7 months ago
Paraphrase Identification as Probabilistic Quasi-Synchronous Recognition
We present a novel approach to deciding whether two sentences hold a paraphrase relationship. We employ a generative model that generates a paraphrase of a given sentence, and we ...
Dipanjan Das, Noah A. Smith
AAAI
1998
14 years 11 months ago
Concepts From Time Series
This paper describes a way of extracting concepts from streams of sensor readings. In particular, we demonstrate the value of attractor reconstruction techniques for transforming ...
Michael T. Rosenstein, Paul R. Cohen
GCB
2008
Springer
140views Biometrics» more  GCB 2008»
14 years 11 months ago
FRANz: Fast Reconstruction of Wild Pedigrees
: We present a software package for fast pedigree reconstruction in natural populations using co-dominant genomic markers such as microsatellites and SNPs. If available, the algori...
Markus Riester, Peter F. Stadler, Konstantin Klemm