4781 search results - page 264 / 957 » Complexity at large |
93
Voted
EUC
2006
Springer
15 years 4 months ago
2006
Springer
- Modern portable or embedded systems support more and more complex applications. These applications make embedded devices require not only low powerconsumption, but also high comp...
96
Voted
FLAIRS
2007
15 years 3 months ago
2007
Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
113
Voted
EISWT
2007
15 years 2 months ago
2007
As computing systems continue to grow in size and complexity, the need for self-management is becoming more prevalent. The difficulty and cost associated with the maintenance of l...
108
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The behavior of some stochastic chemical reaction networks is largely unaffected by slight inaccuracies in reaction rates. We formalize the robustness of state probabilities to re...
124
Voted
IANDC
2008
15 years 1 months ago
2008
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...