7280 search results - page 371 / 1456 » Optimization Techniques |
177
click to vote
ICALP
2005
Springer
16 years 12 days ago
2005
Springer
Filtering is a standard technique for fast approximate string matching in practice. In filtering, a quick first step is used to rule out almost all positions of a text as possib...
168
click to vote
IEAAIE
2005
Springer
16 years 11 days ago
2005
Springer
Construction claims are normally affected by a large number of complex and interrelated factors. It is highly desirable for the parties to a dispute to know with some certainty how...
187
click to vote
MIDDLEWARE
2005
Springer
16 years 11 days ago
2005
Springer
Unstructured peer-to-peer networks are frequently used as the overlay in various middleware toolkits for emerging applications, from content discovery to query result caching to di...
144
click to vote
OTM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Caching can highly improve performance of query processing in distributed databases. In this paper we show how this technique can be used in grid architecture where data ...
193
click to vote
VMCAI
2005
Springer
16 years 10 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...