Sciweavers

2189 search results - page 291 / 438
» A Graded Applicability of Rules
Sort
View
INFORMATICALT
2011
89views more  INFORMATICALT 2011»
13 years 4 months ago
Large-Scale Data Analysis Using Heuristic Methods
Estimation and modelling problems as they arise in many data analysis areas often turn out to be unstable and/or intractable by standard numerical methods. Such problems frequently...
Gintautas Dzemyda, Leonidas Sakalauskas
JAIR
2011
72views more  JAIR 2011»
13 years 4 months ago
A Logical Study of Partial Entailment
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
Y. Zhou, Y. Zhang
JCT
2011
83views more  JCT 2011»
13 years 4 months ago
The weighted hook length formula
Abstract. Based on the ideas in [CKP], we introduce the weighted analogue of the branching rule for the classical hook length formula, and give two proofs of this result. The firs...
Ionut Ciocan-Fontanine, Matjaz Konvalinka, Igor Pa...
IJON
2010
159views more  IJON 2010»
13 years 4 months ago
Model predictive flight control using adaptive support vector regression
This paper explores an application of support vector regression (SVR) to model predictive control (MPC). SVR is employed to identify a dynamic system from input-output data, and t...
Jongho Shin, H. Jin Kim, Sewook Park, Youdan Kim
SCP
2010
123views more  SCP 2010»
13 years 3 months ago
Slicing for architectural analysis
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
Nuno F. Rodrigues, Luís Soares Barbosa