Sciweavers

3166 search results - page 567 / 634
» Translation By Structural Correspondences
Sort
View
JAIR
2006
179views more  JAIR 2006»
15 years 18 days ago
The Fast Downward Planning System
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...
Malte Helmert
PAMI
2008
121views more  PAMI 2008»
15 years 17 days ago
Theoretical Foundations of Spatially-Variant Mathematical Morphology Part II: Gray-Level Images
In this paper, we develop a spatially-variant (SV) mathematical morphology theory for gray-level signals and images in the euclidean space. The proposed theory preserves the geomet...
Nidhal Bouaynaya, Dan Schonfeld
99
Voted
TSMC
2008
110views more  TSMC 2008»
15 years 15 days ago
Bridging Global and Local Models of Service-Oriented Systems
Abstract-- A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Descriptio...
Johannes Maria Zaha, Marlon Dumas, Arthur H. M. te...
IJPRAI
2002
97views more  IJPRAI 2002»
15 years 9 days ago
Shape Description and Invariant Recognition Employing Connectionist Approach
This paper presents a new approach for shape description and invariant recognition by geometric-normalization implemented by neural networks. The neural system consists of a shape...
Jezekiel Ben-Arie, Zhiqian Wang
ENTCS
1998
105views more  ENTCS 1998»
15 years 9 days ago
A Concurrent Object Calculus: Reduction and Typing
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
Andrew D. Gordon, Paul D. Hankin