1445 search results - page 116 / 289 » Properties of state spaces and their applications |
173
click to vote
PAKDD
2007
ACM
16 years 14 days ago
2007
ACM
In graph mining applications, there has been an increasingly strong urge for imposing user-specified constraints on the mining results. However, unlike most traditional itemset co...
172
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
178
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...
170
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
219
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Advances in hardware have enabled many long-running applications to execute entirely in main memory. As a result, these applications have increasingly turned to database technique...