612 search results - page 111 / 123 » Bounded model checking for knowledge and real time |
ASC
2008
14 years 9 months ago
2008
Most data mining algorithms assume static behavior of the incoming data. In the real world, the situation is different and most continuously collected data streams are generated by...
TWC
2011
14 years 4 months ago
2011
Abstract—In this paper we consider wireless cooperative multihop networks, where nodes that have decoded the message at the previous hop cooperate in the transmission toward the ...
MLDM
2010
Springer
14 years 4 months ago
2010
Springer
Prepaid customers in mobile telecommunications are not bound by a contract and can therefore change operators (`churn') at their convenience and without notification. This mak...
BPM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
GEOINFORMATICA
1998
14 years 9 months ago
1998
Due to the increasing popularity of spatial databases, researchers have focused their efforts on improving the query processing performance of the most expensive spatial database ...