1690 search results - page 273 / 338 » Applications of Metric Coinduction |
SODA
1998
ACM
13 years 10 months ago
1998
ACM
A fundamental facility location problem is to choose the location of facilities, such as industrial plants and warehouses, to minimize the cost of satisfying the demand for some c...
FTCS
1996
13 years 10 months ago
1996
This paper presents a benchmark for dependablesystems. The benchmark consists of two metrics, number of catastrophic incidents and performance degradation, which are obtained by a...
WCE
2007
13 years 10 months ago
2007
—Use case refactoring is one of the recent software engineering techniques that aimed at synthesising and refining use case models. Two new types of use case refactoring are prop...
BILDMED
2009
13 years 10 months ago
2009
Abstract. In this paper, we propose a novel method to generate panoramic X-ray images intra-operatively by using the previously introduced camera augmented mobile C-arm by Navab et...
ECRTS
2010
IEEE
13 years 10 months ago
2010
IEEE
It is challenging to support the timeliness of realtime data service requests in data-intensive real-time applications such as online auction or stock trading, while maintaining t...