1128 search results - page 125 / 226 » Classical Natural Deduction |
JUCS
2006
15 years 21 days ago
2006
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...
104
Voted
AUTOMATICA
2005
15 years 19 days 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...
117
Voted
TSMC
2008
15 years 19 days 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...
118
Voted
JSW
2007
15 years 19 days 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...
81
Voted
ENTCS
2002
15 years 16 days 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...