12264 search results - page 2070 / 2453 » Analysis of the rubberband algorithm |
154
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
172
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Remote sensing of terrain characteristics is an important component for autonomous operation of mobile robots in natural terrain. Often this involves classification of terrain int...
173
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
A stock market data processing system that can handle high data volumes at low latencies is critical to market makers. Such systems play a critical role in algorithmic trading, ri...
187
click to vote
WSDM
2009
ACM
16 years 1 months ago
2009
ACM
With the overwhelming number of reports on similar events originating from different sources on the web, it is often hard, using existing web search paradigms, to find the origi...
205
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
A wealth of information is available only in web pages, patents, publications etc. Extracting information from such sources is challenging, both due to the typically complex langu...