1128 search results - page 125 / 226 » Classical Natural Deduction |
122
click to vote
JUCS
2006
15 years 4 months ago
2006
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...
133
click to vote
AUTOMATICA
2005
15 years 3 months ago
2005
This paper studies a method for the identification of Hammerstein models based on Least Squares Support Vector Machines (LS-SVMs). The technique allows for the determination of th...
151
click to vote
TSMC
2008
15 years 3 months ago
2008
In this paper, we propose a geometric approach to the theory of evidence based on convex geometric interpretations of its two key notions of belief function (b.f.) and Dempster...
148
click to vote
JSW
2007
15 years 3 months ago
2007
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
111
click to vote
ENTCS
2002
15 years 3 months ago
2002
Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with ch...