4131 search results - page 191 / 827 » Compactness in Topology and Computation |
172
click to vote
MOBISYS
2003
ACM
16 years 6 months ago
2003
ACM
Remote execution can transform the puniest mobile device into a computing giant able to run resource-intensive applications such as natural language translation, speech recognitio...
181
click to vote
WDAG
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
178
click to vote
APN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
165
click to vote
CDB
2004
Springer
15 years 12 months ago
2004
Springer
Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....
188
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
Frequent pattern mining has been studied extensively. However, the effectiveness and efficiency of this mining is often limited, since the number of frequent patterns generated i...