Sciweavers

3446 search results - page 567 / 690
» A Reasoning Algorithm for pD*
Sort
View
EACL
1993
ACL Anthology
15 years 5 months ago
A Tradeoff between Compositionality and Complexity in the Semantics of Dimensional Adjectives
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
Geoffrey Simmons
DIMACS
1996
15 years 5 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
DAGSTUHL
1994
15 years 5 months ago
Function-Based Object Recognition
Functionality-based recognition systems recognize objects at the category level by reasoning about how well the objects support the expected function. Such systems naturally assoc...
Louise Stark, Kevin W. Bowyer
ISMB
1993
15 years 5 months ago
Probabilistic Structure Calculations: A Three-Dimensional tRNA Structure from Sequence Correlation Data
Algorithmsbasedonprobability theorycanaddressissues of uncertainty directly throughtheir representational frameworkandtheir theoryfor data combination.In this paper, wediscuss the...
Russ B. Altman
MVA
1994
119views Computer Vision» more  MVA 1994»
15 years 5 months ago
Development of Surface Inspection Machine for Organic Photo Conductor(OPC)
The OPC is one of the most important component in the electrophotography process. So far its surface defects which degrade print quality were inspected by human-eye. We have devel...
Osamu Nakayama, Shinji Kobayashi, Katsuyuki Omura,...