7827 search results - page 124 / 1566 » time 2007 |
175
click to vote
JVCA
2007
15 years 5 months ago
2007
This paper describes an impulse-based dynamic simulation method for articulated bodies which has a linear time complexity. Existing linear-time methods are either based on a reduc...
145
click to vote
CCE
2004
15 years 5 months ago
2004
The problem addressed in this work is to develop a comprehensive mathematical programming model for the efficient scheduling of oil-refinery operations. Our approach is first to d...
142
Voted
FSEN
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
155
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We introduce a new image representation that encompasses both the general layout of groups of quantized local invariant descriptors as well as their relative frequency. A graph of...
158
click to vote
HCI
2007
15 years 7 months ago
2007
This paper proposes the real-time stereoscopic conversion method with adaptable viewing distance by the viewer’s eye detection at personal stereoscopic viewing devices. The dista...