Sciweavers

420 search results - page 18 / 84
» Computational Study of Fast Methods For The Eikonal Equation
Sort
View
116
Voted
ICALP
2003
Springer
15 years 5 months 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
100
Voted
ICCV
2007
IEEE
16 years 2 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...
83
Voted
CP
1998
Springer
15 years 4 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
62
Voted
ICMCS
2009
IEEE
113views Multimedia» more  ICMCS 2009»
14 years 10 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
96
Voted
DATE
2006
IEEE
107views Hardware» more  DATE 2006»
15 years 6 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...