1341 search results - page 210 / 269 » Logic for Modeling Product Structure |
128
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
146
Voted
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Computer vision has traditionally focused on extracting structure, such as depth, from images acquired using thin-lens or pinhole optics. The development of computational imaging i...
107
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
The Freebsd, gnu/Linux, Solaris, and Windows operating systems have kernels that provide comparable facilities. Interestingly, their code bases share almost no common parts, while...
157
Voted
NIPS
2003
15 years 5 months ago
2003
The problem of “Structure From Motion” is a central problem in vision: given the 2D locations of certain points we wish to recover the camera motion and the 3D coordinates of ...
139
Voted
EMNLP
2009
15 years 1 months ago
2009
This paper presents a parse-and-paraphrase paradigm to assess the degrees of sentiment for product reviews. Sentiment identification has been well studied; however, most previous ...