4209 search results - page 353 / 842 » Abstract Dialectical Frameworks |
151
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
196
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Image segmentation and figure/ground organization are fundamental steps in visual perception. This paper introduces an algorithm that couples these tasks together in a s...
156
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
194
click to vote
AMDO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we propose an original approach to solve the Inverse Kinematics problem. Our framework is based on Sequential Monte Carlo Methods and has the advantage to a...
205
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We provide a general framework for constructing identitybased and broadcast encryption systems. In particular, we construct a general encryption system called spatial enc...