2478 search results - page 170 / 496 » Quadtrees as an Abstract Domain |
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
The paper presents a framework for introducing design patterns that facilitate or improve the techniques used during ontology lifecycle. Some distinctions are drawn between kinds o...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Agents in a team must be in agreement. Once a disagreement occurs we should detect the disagreement and diagnose it. Unfortunately, current diagnosis techniques do not sc...
COORDINATION
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. Th...
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
ICA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper demonstrates and exploits some interesting frequency-domain properties of nonstationary signals. Considering these properties, two new methods for blind separa...