4743 search results - page 758 / 949 » The PlusCal Algorithm Language |
AADEBUG
2005
Springer
14 years 2 months ago
2005
Springer
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and failing runs. A difference in method call sequences, such as multiple deallocation ...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents an approach for ontology translation in the O3F ontology framework and a concrete implemented agent that translates between ontologies expressed in OWL. In the...
CIVR
2005
Springer
14 years 2 months ago
2005
Springer
This paper proposes a new approach for hot event detection and summarization of news videos. The approach is mainly based on two graph algorithms: optimal matching (OM) and normali...
CP
2005
Springer
14 years 2 months ago
2005
Springer
We introduce a novel and exciting research area: symmetrising levels of consistency to produce stronger forms of consistency and more efficient mechanisms for establishing them. W...
CP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The availability of commodity multiprocessors offers significant opportunities for addressing the increasing computational requirements of optimization applications. To...