5550 search results - page 997 / 1110 » Different Approaches to Proof Systems |
188
click to vote
CAE
2010
15 years 1 months ago
2010
Humans have always sought to achieve aesthetics in art. In this paper, we present a novel approach for retargeting images to different aspect ratios while improving the compositio...
280
click to vote
COLING
2010
15 years 1 months ago
2010
In cross-language information retrieval it is often important to align words that are similar in meaning in two corpora written in different languages. Previous research shows tha...
198
click to vote
TMM
2011
15 years 1 months ago
2011
Abstract—We introduce a new algorithm for real-time interactive motion control and demonstrate its application to motion captured data, pre-recorded videos and HCI. Firstly, a da...
192
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
Ship simulators are used for training purposes and therefore have to calculate realistic wave patterns around the moving ship in real time. We consider a wave model that is based ...
149
click to vote
SIAMADS
2010
15 years 1 months ago
2010
Lubrication equations describe many structuring processes of thin liquid films. We develop and apply a numerical framework suitable for their analysis employing a dynamical systems...