3032 search results - page 370 / 607 » Description Logic Rules |
107
Voted
SGAI
2007
Springer
15 years 10 months ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
119
Voted
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
137
Voted
ICFP
2000
ACM
15 years 8 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
142
Voted
IJIT
2004
15 years 5 months ago
2004
An adaptive fuzzy PID controller with gain scheduling is proposed in this paper. The structure of the proposed gain scheduled fuzzy PID (GS_FPID) controller consists of both fuzzy ...
137
click to vote
UAI
2003
15 years 5 months ago
2003
Currently, there is renewed interest in the problem, raised by Shafer in 1985, of updating probabilities when observations are incomplete (or setvalued). This is a fundamental pro...