1993 search results - page 88 / 399 » On Action Theory Change |
99
Voted
HIS
2003
15 years 1 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
84
Voted
IJCAI
1993
15 years 1 months ago
1993
This paper presents a major revision of the Either propositional theory re nement system. Two issues are discussed. First, we show howrun timee ciency can be greatlyimproved by ch...
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
This study empirically examines the general propositions of media capacity theories using a newer and increasing popular communication medium: Instant Messaging. We developed hypo...
ENVSOFT
2002
15 years 10 days ago
2002
Radiative perturbation theory is a computational technique which can greatly ease the burden of repeated solution of the radiative transfer equation for model atmospheres which di...
94
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Both non-determinism and multi-level networks compactly characterize the flexibility allowed in implementing a circuit. A theory for representing and manipulating non-deterministi...