8838 search results - page 145 / 1768 » Generalizing Domain Theory |
101
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
My paper discusses system consequence, which is a central idea in the project to lift the theory of information flow to the general level of universal logic and the theory of ins...
122
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
This work derives and simulates two choice models applying the weighted utility theory, a generalization of the expected utility theory. It shows one set of assumptions, which jus...
113
click to vote
AAAI
2000
15 years 5 months ago
2000
We introduce new linear time algorithms for satisfiability of binary propositional theories (2-SAT), and for recognition and satisfiability of renamable Horn theories. The algorit...
109
click to vote
APAL
2010
15 years 4 months ago
2010
We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We characterize "linear" theories in terms of properties of the correspon...
149
click to vote
TCOM
2010
15 years 2 months ago
2010
—A unified analytical framework for evaluating the performance of maximal ratio combining (MRC) and orthogonal space-time block coding (OSTBC) over generalized fading channels i...