3179 search results - page 98 / 636 » Applications of PCF Theory |
CDC
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract-- This paper is concerned with the theory of quasivelocities and its applications to control. The equations of motion of a mechanical system are derived using the Lagrange
EUSFLAT
2003
13 years 10 months ago
2003
Remarks on history, theory, and applications of intuitionistic fuzzy sets are given. Some open problems are introduced.
ISSTA
1996
ACM
14 years 1 months ago
1996
ACM
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
JAIR
2010
13 years 7 months ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
IJCAI
1989
13 years 10 months ago
1989
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...