1030 search results - page 142 / 206 » Partial Detectability Profiles |
AMAST
2006
Springer
15 years 3 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
FAABS
2004
Springer
15 years 3 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
CAIP
1995
Springer
15 years 3 months ago
1995
Springer
We propose a novel approach to image segmentation, called feature and spatial domain clustering. The method is devised to group pixel data by taking into account simultaneously bo...
110
click to vote
FAW
2008
Springer
15 years 1 months ago
2008
Springer
We propose path-merging as a refinement of techniques used to make linked data structures partially persistent. Path-merging supports bursts of operations between any two adjacent ...
103
click to vote
GRAPHICSINTERFACE
2001
15 years 1 months ago
2001
Digital watermarking embeds a structure called watermark into the target data, such as image and 3D polygonal models. The watermark can be used, for example, to enforce copyright ...