5066 search results - page 152 / 1014 » Spectra of structures and relations |
120
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
115
click to vote
COCO
1993
Springer
15 years 9 months ago
1993
Springer
Recently Lutz [14,15] introduced a polynomial time bounded version of Lebesgue measure. He and others (see e.g. [11,13,14,15,16,17,18,20]) used this concept to investigate the quan...
123
click to vote
ACL
2007
15 years 6 months ago
2007
In this paper we investigate a structured model for jointly classifying the sentiment of text at varying levels of granularity. Inference in the model is based on standard sequenc...
131
click to vote
FLAIRS
2000
15 years 6 months ago
2000
With the increasing amount and complexity of data being collected, there is an urgent need to create automated techniques for mining the data. In particular, data being generated ...
152
Voted
COMBINATORICS
2004
15 years 4 months ago
2004
The set of all orientations of a planar graph with prescribed outdegrees carries the structure of a distributive lattice. This general theorem is proven in the first part of the p...