4209 search results - page 612 / 842 » Abstract Dialectical Frameworks |
152
click to vote
SCALESPACE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Segmentation of images is often posed as a variational problem. As such, it is solved by formulating an energy functional depending on a contour and other image derived t...
124
click to vote
SSD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We consider a setting with numerous location-aware moving objects that communicate with a central server. Assuming a set of focal points of interest, we aim at continuous...
141
click to vote
SUM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Logic-based argumentation offers an approach to querying and revising multiple ontologies that are inconsistent or incoherent. A common assumption for logic-based argumen...
160
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
128
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
Abstract— Double patterning lithography (DPL) is in current production for memory products, and is widely viewed as inevitable for logic products at the 32nm node. DPL decomposes...