4961 search results - page 91 / 993 » Homomorphism-Homogeneous Relational Structures |
151
Voted
AISC
2010
Springer
15 years 5 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
79
Voted
HICSS
1999
IEEE
15 years 5 months ago
1999
IEEE
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...
51
Voted
JCISD
2002
15 years 14 days ago
2002
High performance liquid chromatography (HPLC) with ultraviolet (UV) spectrophotometric detection is a common method for analyzing reaction products in organic chemistry. This proc...
129
click to vote
NAACL
2010
14 years 10 months ago
2010
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...
109
click to vote
ACL
2012
13 years 3 months ago
2012
In this paper, we present a structural learning model for joint sentiment classification and aspect analysis of text at various levels of granularity. Our model aims to identify ...