8874 search results - page 292 / 1775 » A New Implementation of Automath |
185
click to vote
VLSISP
2008
15 years 6 months ago
2008
H.264/AVC is the latest video coding standard adopting variable block size motion estimation (VBS-ME), quarter-pixel accuracy, motion vector prediction and multi-reference frames f...
167
click to vote
CGF
2000
15 years 6 months ago
2000
Since wavelets were introduced in the radiosity algorithm5, surprisingly little research has been devoted to higher order wavelets and their use in radiosity algorithms. A previou...
125
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Finite-state morphology in the general tradition of the Two-Level and Xerox implementations has proved very successful in the production of robust morphological analyzer-generator...
185
click to vote
CONCURRENCY
1998
15 years 6 months ago
1998
Collaborative visualization is an active area of research in computer science. Many di erent techniques and implementations have been proposed. However, most of today's syste...
196
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...