3134 search results - page 305 / 627 » Computing full disjunctions |
164
click to vote
PODC
1990
ACM
15 years 7 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
109
click to vote
ACSC
2007
IEEE
15 years 7 months ago
2007
IEEE
We present an unsupervised blood cell segmentation algorithm for images taken from peripheral blood smear slides. Unlike prior algorithms the method is fast; fully automated; find...
125
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
132
click to vote
ASSETS
2007
ACM
15 years 7 months ago
2007
ACM
People often use computers other than their own to browse the web, but blind web users are limited in where they access the web because they require specialized, expensive program...
135
click to vote
ASSETS
2007
ACM
15 years 7 months ago
2007
ACM
In this paper, we describe the latest version of SIBYLLE, an AAC system that permits persons suffering from severe physical disabilities to enter text with any computer applicatio...