4209 search results - page 500 / 842 » Abstract Dialectical Frameworks |
120
click to vote
ISMVL
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...
140
click to vote
PODS
2010
ACM
15 years 10 months ago
2010
ACM
XML Schema Definitions (XSDs) can be adequately abstracted by the single-type regular tree languages. It is wellknown, that these form a strict subclass of the robust class of re...
155
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In many cases, human actions can be identified not only by the singular observation of the human body in motion, but also properties of the surrounding scene and the rel...
132
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
145
click to vote
AISC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...