5378 search results - page 343 / 1076 » Base Logics in Argumentation |
199
click to vote
OMER
2001
15 years 9 months ago
2001
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
194
click to vote
FSKD
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a scheme for unsupervised classification with Gaussian mixture models by means of statistical learning analysis. A Bayesian Ying-Yang harmony learning system a...
231
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
204
click to vote
LPAR
2010
Springer
15 years 6 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
189
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
- For modeling of change of terminal server load, the approach including representation of time series of server parameters in the form of fuzzy time series is used. Further in the...