2446 search results - page 267 / 490 » First Smart Spaces |
127
click to vote
IJCV
2006
15 years 4 months ago
2006
This paper explores various aspects of the image decomposition problem using modern variational techniques. We aim at splitting an original image f into two components u and v, whe...
140
click to vote
IJVR
2006
15 years 4 months ago
2006
-- This paper presents a human-scale virtual environment (VE) with haptic feedback along with two experiments performed in the context of product design. The user interacts with a ...
121
Voted
JSS
2006
15 years 4 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
120
click to vote
SIAMAM
2008
15 years 4 months ago
2008
We consider the problem of calculating resonance frequencies and radiative losses of an optical resonator. The optical resonator is in the form of a thin membrane with variable die...
111
click to vote
SIAMSC
2008
15 years 4 months ago
2008
We show how to derive time implicit formulations of relaxation schemes for the Euler equations for real materials in several space dimensions. In the fully time explicit setting, t...