2478 search results - page 488 / 496 » Universality in two dimensions |
JSYML
1998
14 years 10 months ago
1998
Abstract. After small forcing, any <κ-closed forcing will destroy the supercompactness and even the strong compactness of κ. In a delightful argument, Laver [L78] proved that ...
101
click to vote
PR
2007
14 years 10 months ago
2007
Skew estimation and page segmentation are the two closely related processing stages for document image analysis. Skew estimation needs proper page segmentation, especially for doc...
103
Voted
IEEECIT
2010
IEEE
14 years 9 months ago
2010
IEEE
—“Network Storage and System Virtualization Technologies” is an up-to-date course opened by the school of electronics engineering and computer science of Peking University. T...
JAIR
2010
14 years 8 months ago
2010
Narrative, and in particular storytelling, is an important part of the human experience. Consequently, computational systems that can reason about narrative can be more effective...
106
click to vote
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...