31387 search results - page 448 / 6278 » Abstracts |
173
click to vote
FOCS
1992
IEEE
15 years 11 months ago
1992
IEEE
Abstract Summary of results The subcubic (O(n ) for < 3) algorithms to multiply Boolean matrices do not provide the witnesses; namely, they compute C = AB but if Cij = 1 they d...
154
click to vote
ICCL
1992
IEEE
15 years 11 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
161
click to vote
IEAAIE
1992
Springer
15 years 11 months ago
1992
Springer
Abstract.Tounderstandthemeaningofanimageorimagesequence,toreducetheeffortinthedesignprocessandincreasethereliabilityandthereusabilityofimageunderstandingsystems,awide spectrumofAI ...
191
click to vote
CHIMIT
2007
ACM
15 years 11 months ago
2007
ACM
poster we present several methods for abstracting data into information and then integrating and organizing it for the purpose of display. We use an example from analysis of pilot...
217
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical inter...