514 search results - page 48 / 103 » On the Structure of Valiant's Complexity Classes |
80
Voted
EMSOFT
2003
Springer
15 years 5 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...
106
Voted
EEMMAS
2007
Springer
15 years 6 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...
112
Voted
VMCAI
2007
Springer
15 years 6 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 ...
106
Voted
IJCV
2000
15 years 11 days 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...
122
click to vote
BMCBI
2004
15 years 13 days 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...