Sciweavers

1191 search results - page 156 / 239
» Completeness and Performance Of The APO Algorithm
Sort
View
DEXA
2003
Springer
193views Database» more  DEXA 2003»
15 years 3 months ago
Supporting KDD Applications by the k-Nearest Neighbor Join
Abstract. The similarity join has become an important database primitive to support similarity search and data mining. A similarity join combines two sets of complex objects such t...
Christian Böhm, Florian Krebs
ICIAP
2001
Springer
15 years 2 months ago
Neural Network Analysis of MINERVA Scene Analysis Benchmark
Scene analysis is an important area of research with the aim of identifying objects and their relationships in natural scenes. MINERVA benchmark has been recently introduced in th...
Markos Markou, Sameer Singh, Mona Sharma
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
15 years 2 months ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...
RTSS
2000
IEEE
15 years 2 months ago
An Incremental Approach to Scheduling during Overloads in Real-Time Systems
In this paper we propose a novel scheduling framework for a real-timeenvironmentthat experiences dynamic changes. Thisframework is capable of adjusting the system workload in incr...
Pedro Mejía-Alvarez, Rami G. Melhem, Daniel...
ECAI
2000
Springer
15 years 2 months ago
Towards Real-Time Search with Inadmissible Heuristics
Real-time search has two aspects, one as an efficient search method (in a single problem solving trial), and the other as an overall problem solving architecture with learning abi...
Masashi Shimbo, Toru Ishida