4117 search results - page 342 / 824 » On the Satisfiability of Complex Constraints |
197
Voted
ICMCS
2007
IEEE
16 years 1 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...
163
Voted
IEEEARES
2007
IEEE
16 years 1 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 ...
157
Voted
APWEB
2007
Springer
16 years 1 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...
189
Voted
AOSE
2000
Springer
15 years 11 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...
200
Voted
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...