Sciweavers

137 search results - page 22 / 28
» ar 2007
Sort
View
SEFM
2007
IEEE
14 years 4 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
ISCI
2007
151views more  ISCI 2007»
13 years 9 months ago
Enriching the ER model based on discovered association rules
The entity–relationship (ER) model, a powerful means for business and data modeling, needs to be enriched with new semantics as the real world changes and its understanding impr...
Guoqing Chen, Ming Ren, Peng Yan, Xunhua Guo
CVPR
2007
IEEE
14 years 11 months ago
Spatial selection for attentional visual tracking
Long-duration tracking of general targets is quite challenging for computer vision, because in practice target may undergo large uncertainties in its visual appearance and the unc...
Ming Yang, Junsong Yuan, Ying Wu
MICCAI
2007
Springer
14 years 4 months ago
A Probabilistic Framework for Tracking Deformable Soft Tissue in Minimally Invasive Surgery
The use of vision based algorithms in minimally invasive surgery has attracted significant attention in recent years due to its potential in providing in situ 3D tissue deformation...
Peter Mountney, Benny P. L. Lo, Surapa Thiemjarus,...
CSC
2006
13 years 11 months ago
On the Number of Minimal Addition Chains
An addition chain for a natural number n is a sequence 1 = a0 < a1 < . . . < ar = n of numbers such that for each 0 < i r, ai = aj + ak for some 0 k j < i. Thurbe...
Hatem M. Bahig