920 search results - page 111 / 184 » Computing the Frequency of Partial Orders |
CSDA
2006
14 years 9 months ago
2006
TheexactlikelihoodfunctionofaGaussianvectorautoregressive-movingaverage(VARMA)model is evaluated in two nonstandard cases: (a) a parsimonious structured form, such as obtained in ...
IVC
2006
14 years 9 months ago
2006
The aim of medical image registration is to bring different images into the best possible spatial correspondence in order to obtain complementary information for clinical applicat...
JMM2
2008
14 years 9 months ago
2008
In this paper a new marker-based approach is presented for 3D camera pose tracking in indoor Augmented Reality (AR). We propose to combine a circular fiducials detection technique ...
IJNSEC
2007
14 years 9 months ago
2007
In order to reduce key sizes and bandwidth, several LFSRbased (linear feedback shift register) public key cryptosystems and signature schemes have been proposed. Digital signature...
167
click to vote
NFM
2011
14 years 4 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...