6598 search results - page 1105 / 1320 » Graph Theory with Applications |
164
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
165
click to vote
CIKM
2005
Springer
16 years 4 days ago
2005
Springer
Text similarity spans a spectrum, with broad topical similarity near one extreme and document identity at the other. Intermediate levels of similarity – resulting from summariza...
193
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
227
click to vote
DEXA
2005
Springer
16 years 4 days ago
2005
Springer
Unlike processing snapshot queries in a traditional DBMS, the processing of continuous queries in a data stream management system (DSMS) needs to satisfy quality requirements such ...
183
click to vote
DSOM
2005
Springer
16 years 4 days ago
2005
Springer
The growth in the scale of systems and networks has created many challenges for their management, especially for event processing. Our premise is that scaling event processing requ...