Sciweavers

882 search results - page 109 / 177
» A Sampling Method Focusing on Practicality
Sort
View
ICCV
2009
IEEE
15 years 1 months ago
A linear formulation of shape from specular flow
When a curved mirror-like surface moves relative to its environment, it induces a motion field—or specular flow— on the image plane that observes it. This specular flow is r...
Guillermo D. Canas, Yuriy Vasilyev, Yair Adato, To...
SAT
2009
Springer
109views Hardware» more  SAT 2009»
14 years 3 months ago
A Compact Representation for Syntactic Dependencies in QBFs
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
Florian Lonsing, Armin Biere
HT
2005
ACM
14 years 2 months ago
Advene: active reading through hypervideo
Active reading and hypermedia usage are an integral part of scholar daily practices, but the full exploitation of their potentialities still lies far ahead. In the search for new ...
Olivier Aubert, Yannick Prié
APCCM
2008
13 years 10 months ago
A Framework Based Measurements for Evaluating an IS Quality
There is an increasing community of researchers trying to draw attention to the importance of evaluation issues. Some approaches can be followed to evaluate the quality of softwar...
Olfa Lamouchi, Amar Ramdane-Cherif, Nicole L&eacut...
CORR
2010
Springer
102views Education» more  CORR 2010»
13 years 8 months ago
Error Analysis of Approximated PCRLBs for Nonlinear Dynamics
In practical nonlinear filtering, the assessment of achievable filtering performance is important. In this paper, we focus on the problem of how to efficiently approximate the post...
Ming Lei, Pierre Del Moral, Christophe Baehr