3898 search results - page 438 / 780 » On the Bit Extraction Problem |
135
Voted
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
167
click to vote
SMILE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Augmented Reality(AR) aims at merging the real and the virtual in order to enrich a real environment with virtual information. Augmentations range from simple text annota...
164
click to vote
FLAIRS
2008
15 years 7 months ago
2008
The problem of recognizing textual entailment (RTE) has been recently addressed using syntactic and lexical models with some success. Here, we further explore this problem, this t...
177
click to vote
INFOSCALE
2007
ACM
15 years 6 months ago
2007
ACM
Large-scale Parallel Web Search Engines (WSEs) needs to adopt a strategy for partitioning the inverted index among a set of parallel server nodes. In this paper we are interested ...
137
click to vote
COLING
2008
15 years 6 months ago
2008
This paper studies sentiment analysis from the user-generated content on the Web. In particular, it focuses on mining opinions from comparative sentences, i.e., to determine which...