Sciweavers

1356 search results - page 115 / 272
» Some New Results on Inverse Sorting Problems
Sort
View
SOCO
2002
Springer
13 years 8 months ago
A dynamically-constructed fuzzy neural controller for direct model reference adaptive control of multi-input-multi-output nonlin
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
Yakov Frayman, Lipo Wang
JELIA
2010
Springer
13 years 7 months ago
dl2asp: Implementing Default Logic via Answer Set Programming
In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formula...
Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
PLILP
1998
Springer
14 years 1 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
IJAR
2008
83views more  IJAR 2008»
13 years 9 months ago
Decision-theoretic specification of credal networks: A unified language for uncertain modeling with sets of Bayesian networks
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Credal nets appear to be power...
Alessandro Antonucci, Marco Zaffalon
WEBI
2005
Springer
14 years 2 months ago
Automatically Generating Labeled Examples for Web Wrapper Maintenance
In order to let software programs gain full benefit from semi-structured web sources, wrapper programs must be built to provide a “machine-readable” view over them. A signific...
Juan Raposo, Alberto Pan, Manuel Álvarez, J...