Sciweavers

420 search results - page 18 / 84
» Computational Study of Fast Methods For The Eikonal Equation
Sort
View
ICALP
2003
Springer
14 years 18 days ago
Bisimulation Proof Methods for Mobile Ambients
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
Massimo Merro, Francesco Zappa Nardelli
ICCV
2007
IEEE
14 years 9 months ago
Fast Bilinear SfM with Side Information
We study the beneficial effect of side information on the Structure from Motion (SfM) estimation problem. The side information that we consider is measurement of a `reference vect...
Mahesh Ramachandran, Ashok Veeraraghavan, Rama Che...
CP
1998
Springer
13 years 11 months ago
Consistency Techniques in Ordinary Differential Equations
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...
Yves Deville, Micha Janssen, Pascal Van Hentenryck
ICMCS
2009
IEEE
113views Multimedia» more  ICMCS 2009»
13 years 5 months ago
Fast food recognition from videos of eating for calorie estimation
Accurate and passive acquisition of dietary data from patients is essential for a better understanding of the etiology of obesity and development of effective weight management pr...
Wen Wu, Jie Yang
DATE
2006
IEEE
107views Hardware» more  DATE 2006»
14 years 1 months ago
Time domain model order reduction by wavelet collocation method
In this paper, a wavelet based approach is proposed for the model order reduction of linear circuits in time domain. Compared with Chebyshev reduction method, the wavelet reductio...
Xuan Zeng, Lihong Feng, Yangfeng Su, Wei Cai, Dian...