Sciweavers

1071 search results - page 72 / 215
» Regression from patch-kernel
Sort
View
FORTE
2004
13 years 11 months ago
Formal Verification of Web Applications Modeled by Communicating Automata
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui
EUSFLAT
2003
129views Fuzzy Logic» more  EUSFLAT 2003»
13 years 11 months ago
Application of f-regression method to fuzzy classification problem
In regression analysis, outliers always represent difficulties because they cause modeling errors. But under certain circumstances, they can actually contain useful information, as...
Boris Izyumov
IJCAI
2003
13 years 11 months ago
Action representation and partially observable planning using epistemic logic
We propose a purely logical framework for planning in partially observable environments. Knowledge states are expressed in a suitable fragment of the epistemic logic S5. We show h...
Andreas Herzig, Jérôme Lang, Pierre M...
CSDA
2007
92views more  CSDA 2007»
13 years 10 months ago
On the estimation of the linear relation when the error variances are known
The problem of consistent estimation in measurement error models in a linear relation with not necessarily normally distributed measurement errors is considered. Three possible es...
H. Schneeweiss, H. Shalabh
AI
2011
Springer
13 years 5 months ago
Non-Markovian control in the Situation Calculus
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
Alfredo Gabaldon