11862 search results - page 2278 / 2373 » Relative information completeness |
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
ICN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...
IPMI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Recent advances in molecular biology are providing new opportunities for breast cancer imaging. Our approach uses ultrasound to image viscoelastic features of tumors. The...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
PKDD
2005
Springer
14 years 2 months ago
2005
Springer
We consider a problem of elastic matching of time series. We propose an algorithm that automatically determines a subsequence b of a target time series b that best matches a query ...