Sciweavers

5105 search results - page 189 / 1021
» Approximate Structural Consistency
Sort
View
TSP
2008
134views more  TSP 2008»
15 years 3 months ago
MIMO Instantaneous Blind Identification Based on Second-Order Temporal Structure
Blind identification is of paramount importance for well-known signal processing problems such as Blind Signal Separation and Direction Of Arrival (DOA) estimation. This paper pre...
Jakob van de Laar, Marc Moonen, Piet C. W. Sommen
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 3 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones
ACL
2010
15 years 2 months ago
Unsupervised Discourse Segmentation of Documents with Inherently Parallel Structure
Documents often have inherently parallel structure: they may consist of a text and ries, or an abstract and a body, or parts presenting alternative views on the same problem. Reve...
Minwoo Jeong, Ivan Titov
DLOG
2010
15 years 2 months ago
Structure Preserving TBox Repair using Defaults
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to r...
Thomas Scharrenbach, Rolf Grütter, Bettina Wa...
NAACL
2010
15 years 1 months ago
Syntactic/Semantic Structures for Textual Entailment Recognition
In this paper, we describe an approach based on off-the-shelf parsers and semantic resources for the Recognizing Textual Entailment (RTE) challenge that can be generally applied t...
Yashar Mehdad, Alessandro Moschitti, Fabio Massimo...