1916 search results - page 150 / 384 » Reasoning with class algebra |
104
click to vote
ISCI
2008
15 years 29 days ago
2008
The Semantic Web is the next step of the current Web where information will become more machine-understandable to support effective data discovery and integration. Hierarchical sc...
198
click to vote
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
The ability to flexibly compose confidence computation with the operations of relational algebra is an important feature of probabilistic database query languages. Computing confi...
APAL
2007
15 years 1 months ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
ENTCS
2007
15 years 28 days ago
2007
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether de...
154
click to vote
SIAMCOMP
2010
14 years 11 months ago
2010
We reexamine what it means to compute Nash equilibria and, more generally, what it means to compute a fixed point of a given Brouwer function, and we investigate the complexity o...