2214 search results - page 65 / 443 » Complexity of Reasoning |
113
click to vote
BC
2006
15 years 3 months ago
2006
The part of the primate visual cortex responsible for the recognition of objects is parcelled into about a dozen areas organized somewhat hierarchically (the region is called the v...
126
click to vote
JAIR
2008
15 years 3 months ago
2008
We consider the problem of allocating fairly a set of indivisible goods among agents from the point of view of compact representation and computational complexity. We start by ass...
112
click to vote
TIME
2008
IEEE
15 years 9 months ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
113
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
Recently, many techniques have been introduced that allow the (automated) classification of the runtime complexity of term rewrite systems (TRSs for short). In this paper we show ...
129
click to vote
RECOMB
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. Recent advances in high-throughput experimental techniques have enabled the production of a wealth of protein interaction data, rich in both quantity and variety. While t...