8228 search results - page 377 / 1646 » Structural Logical Relations |
197
click to vote
MP
2010
15 years 5 months ago
2010
Convex optimization problems arising in applications, possibly as approximations of intractable problems, are often structured and large scale. When the data are noisy, it is of i...
171
click to vote
ACL
2010
15 years 4 months ago
2010
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...
183
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
A hierarchical framework for the recognition of complex deformable shapes is developed. In extension to traditional approaches an additional layer of control is introduced to guid...
189
click to vote
EMNLP
2010
15 years 4 months ago
2010
Confidence-Weighted linear classifiers (CW) and its successors were shown to perform well on binary and multiclass NLP problems. In this paper we extend the CW approach for sequen...
213
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...