1795 search results - page 162 / 359 » On the Complexity of Circuit Satisfiability |
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
A robust video object segmentation algorithm for complex conditions in surveillance systems is proposed in this paper. This algorithm contains an unsupervised K-Means background c...
IEEEARES
2007
IEEE
14 years 3 months ago
2007
IEEE
The formidable difficulty in securing systems stems in large part from the increasing complexity of the systems we build but also the degree to which we now depend on information ...
APWEB
2007
Springer
14 years 3 months ago
2007
Springer
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...
AOSE
2000
Springer
14 years 1 months ago
2000
Springer
We propose a preliminary methodology for agent-oriented software engineering based on the idea of agent interaction analysis. This approach uses interactions between undetermined a...