8828 search results - page 1274 / 1766 » Formal methods in practice |
182
click to vote
COMPGEOM
2004
ACM
16 years 18 days ago
2004
ACM
We present a new algorithm for unfolding planar polygonal linkages without self-intersection based on following the gradient flow of a “repulsive” energy function. This algor...
197
click to vote
SIGCOMM
2004
ACM
16 years 17 days ago
2004
ACM
Recent research efforts to design better Internet transport protocols combined with scalable Active Queue Management (AQM) have led to significant advances in congestion control...
204
click to vote
WIDM
2004
ACM
16 years 17 days ago
2004
ACM
Abstract— Peer-to-Peer networking has become a major research topic over the last few years. Sharing of structured data in such decentralized environments is a challenging proble...
174
click to vote
AIRS
2004
Springer
16 years 17 days ago
2004
Springer
There exist practical bit-parallel algorithms for several types of pair-wise string processing, such as longest common subsequence computation or approximate string matching. The b...
221
click to vote
CIARP
2004
Springer
16 years 17 days ago
2004
Springer
One of the most important steps in text processing and information retrieval is stemming—reducing of words to stems expressing their base meaning, e.g., bake, baked, bakes, bakin...