514 search results - page 48 / 103 » On the Structure of Valiant's Complexity Classes |
EMSOFT
2003
Springer
14 years 1 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
EEMMAS
2007
Springer
14 years 2 months ago
2007
Springer
We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...
VMCAI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
IJCV
2000
13 years 8 months ago
2000
The appearance of an object is composed of local structure. This local structure can be described and characterized by a vector of local features measured by local operators such a...
BMCBI
2004
13 years 8 months ago
2004
Background: The general problem of RNA secondary structure prediction under the widely used thermodynamic model is known to be NP-complete when the structures considered include a...