Sciweavers

2315 search results - page 16 / 463
» Does EigenPalm work
Sort
View
TACAS
2000
Springer
134views Algorithms» more  TACAS 2000»
14 years 16 days ago
Integrating Low Level Symmetries into Reachability Analysis
We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. Th...
Karsten Schmidt 0004
ACL
1992
13 years 10 months ago
Connection Relations and Quantifier Scope
A formalism will be presented in this paper which makes it possible to realise the idea of assigning only one scope-ambiguous representation to a sentence that is ambiguous with r...
Longin Jan Latecki
CORR
2002
Springer
122views Education» more  CORR 2002»
13 years 8 months ago
On alternative approach for verifiable secret sharing
The proposed approach works for any underlying secret sharing scheme. It is based on the concept of verification sets of participants, related to authorized set of participants. T...
Kamil Kulesza, Zbigniew Kotulski, Josef Pieprzyk
TITS
2002
84views more  TITS 2002»
13 years 8 months ago
An obstacle detection method by fusion of radar and motion stereo
: An object detection method based on the motion stereo technique is proposed, which works by the fusion of millimeter wave radar and a single video camera. The method does not dep...
Takeo Kato, Yoshiki Ninomiya, Ichiro Masaki
JMLR
2010
93views more  JMLR 2010»
13 years 3 months ago
Sufficient covariates and linear propensity analysis
Working within the decision-theoretic framework for causal inference, we study the properties of "sufficient covariates", which support causal inference from observation...
Hui Guo, A. Philip Dawid