4325 search results - page 212 / 865 » Incremental computation with names |
170
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We address the problem of object-based visual attention from a Bayesian standpoint. We contend with the issue of joint segmentation and saliency computation suitable to provide a ...
161
click to vote
MEMBRANE
2004
Springer
15 years 12 months ago
2004
Springer
We proved that two classes of Communicative P systems with 3 membranes and with minimal cooperation, namely P systems with symport/antiport rules of size 1 and and P systems with s...
147
click to vote
FOCS
1992
IEEE
15 years 10 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...
187
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
183
click to vote
ADG
1998
Springer
15 years 10 months ago
1998
Springer
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...