469 search results - page 54 / 94 » Reasoning About Method Calls in Interface Specifications |
DAC
1996
ACM
14 years 24 days ago
1996
ACM
Iterative-improvement 2-way min-cut partitioning is an important phase in most circuit partitioning tools. Most iterative improvement techniques for circuit netlists like the Fidd...
RIAO
2007
13 years 10 months ago
2007
Information Retrieval (IR) systems are built with different goals in mind. Some IR systems target high precision that is to have more relevant documents on the first page of their...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...
KDD
1998
ACM
14 years 26 days ago
1998
ACM
An important issue in data mining is the recognition of complex dependencies between attributes. Past techniques for identifying attribute dependence include correlation coefficie...
SIROCCO
2004
13 years 10 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...