4209 search results - page 215 / 842 » Abstract Dialectical Frameworks |
351
click to vote
SCIA
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Variational frameworks based on level set methods are popular for the general problem of image segmentation. They combine different feature channels in an energy minimiz...
189
click to vote
APLAS
2011
ACM
14 years 6 months ago
2011
ACM
Abstract. Decentralization is a major challenge for secure computing. In a decentralized setting, principals are free to distrust each other. The key challenge is to provide suppor...
274
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
186
click to vote
CBSE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
181
click to vote
WLP
1997
Springer
15 years 10 months ago
1997
Springer
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...