9129 search results - page 1778 / 1826 » Performance measurement |
AAAI
1993
13 years 11 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
IJCAI
1989
13 years 11 months ago
1989
It is well known that chromatic information can assist in solving the stereo correspondence problem. It has also been suggested that there are two independent first-order stereop...
FGCS
1992
13 years 11 months ago
1992
: There have been no major control problems during the first three years of the new Tokaido-Sanyo Shinkansen (bullet train) Programmed Route Control (PRC) computer system. Prior to...
WCE
2007
13 years 11 months ago
2007
—Lightning protection for power supply of electronic equipment is an important problem of low-voltage lightning protection systems. In this paper, lightning characteristics of el...
DEBS
2008
ACM
13 years 11 months ago
2008
ACM
In this effort we tackle the important issue of providing Quality of Service (QoS) guarantees to subscribers, when routing event notifications in a publish-subscribe domain. In ...