1690 search results - page 45 / 338 » Applications of Metric Coinduction |
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
Most of today’s event driven software (EDS) systems are tested using test cases that are carefully constructed as sequences of events; they test the execution of an event in the...
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The increasing gap of processor and main memory performance underlines the need for cache-optimizations, especially on memoryintensive applications. Tools which are able ...
FOCS
2004
IEEE
14 years 1 months ago
2004
IEEE
The Metric Labeling problem is an elegant and powerful mathematical model capturing a wide range of classification problems. The input to the problem consists of a set of labels a...
CVPR
1997
IEEE
14 years 1 months ago
1997
IEEE
Camera calibration is essential to many computer vision applications. In practice this often requires cumbersome calibration procedures to be carried out regularly. In the last fe...
EDOC
2008
IEEE
13 years 12 months ago
2008
IEEE
The service-oriented architectural style is widely perceived today. However, service orientation is a very general concept and its application in real-life situations is somewhat ...