Sciweavers

5066 search results - page 184 / 1014
» Spectra of structures and relations
Sort
View
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 4 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
COLING
2002
15 years 4 months ago
Effective Structural Inference for Large XML Documents
This paper investigates methods to automatically infer structural information from large XML documents. Using XML as a reference format, we approach the schema generation problem ...
Jason Sankey, Raymond K. Wong
88
Voted
JCISD
2002
63views more  JCISD 2002»
15 years 4 months ago
Prediction of Ultraviolet Spectral Absorbance Using Quantitative Structure-Property Relationships
High performance liquid chromatography (HPLC) with ultraviolet (UV) spectrophotometric detection is a common method for analyzing reaction products in organic chemistry. This proc...
William L. Fitch, Malcolm McGregor, Alan R. Katrit...
NAACL
2010
15 years 2 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...
227
Voted
CGF
2010
109views more  CGF 2010»
15 years 1 days ago
Time-Dependent 2-D Vector Field Topology: An Approach Inspired by Lagrangian Coherent Structures
This paper presents an approach to a time-dependent variant of the concept of vector field topology for 2-D vector fields. Vector field topology is defined for steady vector field...
Filip Sadlo, Daniel Weiskopf