1187 search results - page 100 / 238 » Computation in Extended Argumentation Frameworks |
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Combinatorial maps define a general framework which allows to encode any subdivision of an n-D orientable quasi-manifold with or without boundaries. Combinatorial pyramids are def...
125
click to vote
BMVC
2010
14 years 11 months ago
2010
We present an approach for active segmentation based on integration of several cues. It serves as a framework for generation of object hypotheses of previously unseen objects in n...
107
click to vote
CLOUDCOM
2010
Springer
14 years 11 months ago
2010
Springer
Many scientific applications suffer from the lack of a unified approach to support the management and efficient processing of large-scale data. The Twister MapReduce Framework, whi...
106
click to vote
SI3D
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we propose a general framework for local pathplanning and steering that can be easily extended to perform highlevel behaviors. Our framework is based on the concept ...
111
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...