Search Results for author:
Found 5 papers, 1 papers with code
Deep Anatomical Federated Network (Dafne): an open client/server framework for the continuous collaborative improvement of deep-learning-based medical image segmentation
Semantic segmentation is a crucial step to extract quantitative information from medical (and, specifically, radiological) images to aid the diagnostic process, clinical follow-up.
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques
Residuation theory concerns the study of partially ordered algebraic structures, most often monoids, equipped with a weak inverse for the monoidal operator.
Logic in Computer Science
Block Argumentation
We contemplate a higher-level bipolar abstract argumentation for non-elementary arguments such as: X argues against Ys sincerity with the fact that Y has presented his argument to draw a conclusion C, by omitting other facts which would not have validated C. Argumentation involving such arguments requires us to potentially consider an argument as a coherent block of argumentation, i. e. an argument may itself be an argumentation.
On Looking for Local Expansion Invariants in Argumentation Semantics: a Preliminary Report
We study invariant local expansion operators for conflict-free and admissible sets in Abstract Argumentation Frameworks (AFs).
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach
In the paper we provide a language to describe the agents behavior, together with its operational and denotational semantics, for which we also prove the compositionality and correctness properties.
