16666 search results - page 195 / 3334 » Descriptive and Computational Complexity |
112
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
128
click to vote
ALT
2003
Springer
16 years 1 months ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
159
click to vote
BIBE
2007
IEEE
15 years 8 months ago
2007
IEEE
Multi-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein tha...
143
click to vote
ESEM
2010
ACM
15 years 2 months ago
2010
ACM
Functional Size Measures are often used for effort estimation. However, these measures do not take into account the amount and complexity of elaboration required, concentrating in...
147
click to vote
PODS
2008
ACM
16 years 4 months ago
2008
ACM
We introduce a theoretical framework for discovering relationships between two database instances over distinct and unknown schemata. This framework is grounded in the context of ...