Sciweavers

2312 search results - page 270 / 463
» Invariance in Property Testing
Sort
View
CAIP
2001
Springer
165views Image Analysis» more  CAIP 2001»
14 years 3 months ago
A New Approach for Model-Based Adaptive Region Growing in Medical Image Analysis
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
Regina Pohle, Klaus D. Tönnies
ATAL
1999
Springer
14 years 3 months ago
Toward a Methodology for AI Architecture Evaluation: Comparing Soar and CLIPS
We propose a methodology that can be used to compare and evaluate Artificial Intelligence architectures and is motivated by fundamental properties required by general intelligent ...
Scott A. Wallace, John E. Laird
GREC
2007
Springer
14 years 2 months ago
Building Synthetic Graphical Documents for Performance Evaluation
In this paper we present a system that allows its use to build synthetic graphical documents for the performance evaluation of symbol recognition systems. The key contribution of ...
Mathieu Delalandre, Tony P. Pridmore, Ernest Valve...
CP
2006
Springer
14 years 2 months ago
A Structural Characterization of Temporal Dynamic Controllability
An important issue for temporal planners is the ability to handle temporal uncertainty. Recent papers have addressed the question of how to tell whether a temporal network is Dynam...
Paul Morris
CSR
2008
Springer
14 years 17 days ago
A Logspace Algorithm for Partial 2-Tree Canonization
Abstract. We show that partial 2-tree canonization, and hence isomorphism testing for partial 2-trees, is in deterministic logspace. Our algorithm involves two steps: (a) We exploi...
Vikraman Arvind, Bireswar Das, Johannes Köble...