7890 search results - page 126 / 1578 » The MathSAT 3 System |
121
click to vote
ICMCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Networked virtual environments are increasingly used for collaboration tasks and other interactive applications. While the graphics in such virtual worlds are usually three-dimens...
132
click to vote
SIAMNUM
2011
14 years 10 months ago
2011
We introduce a new mixed method for the biharmonic problem. The method is based on a formulation where the biharmonic problem is re-written as a system of four first-order equatio...
123
click to vote
SIMVIS
2004
15 years 4 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
LREC
2008
15 years 4 months ago
2008
The InFile project (INformation, FILtering, Evaluation) is a cross-language adaptive filtering evaluation campaign, sponsored by the French National Research Agency. The campaign ...
116
click to vote
WSCG
2004
15 years 4 months ago
2004
In this article we present a visualisation algorithm based on image warping. A source data for the algorithm is a set of images with colour and depth information rendered for the ...