16616 search results - page 283 / 3324 » Extending Extended Vacuity |
255
click to vote
IPCO
2010
15 years 8 months ago
2010
We introduce the framework of polyhedral branching systems that can be used in order to construct extended formulations for polyhedra by combining extended formulations for other p...
147
click to vote
LREC
2010
15 years 8 months ago
2010
Many natural language processing tasks, including information extraction, question answering and recognizing textual entailment, require analysis of the polarity, focus of polarit...
168
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
184
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
135
click to vote
SAC
2005
ACM
16 years 7 days ago
2005
ACM
Complex application-specific media instructions and kernels are emulated with simple to implement extended subword instructions. We show that assuming extended register file ent...