2661 search results - page 102 / 533 » Quantum Complexity Classes |
73
Voted
NAR
2011
14 years 4 months ago
2011
The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and mod...
CADE
2008
Springer
16 years 1 months ago
2008
Springer
In this paper, we present a variant of the dependency pair method for analysing runtime complexities of term rewrite systems automatically. This method is easy to implement, but si...
107
Voted
IAT
2008
IEEE
15 years 1 months ago
2008
IEEE
TD-FALCON (Temporal Difference - Fusion Architecture for Learning, COgnition, and Navigation) is a class of self-organizing neural networks that incorporates Temporal Difference (...
93
Voted
EOR
2008
15 years 1 months ago
2008
We review complexity results for minimizing polynomials over the standard simplex and unit hypercube. In addition, we derive new results on the computational complexity of approxi...
136
Voted
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...