3113 search results - page 160 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
181
click to vote
UAI
2008
15 years 5 months ago
2008
Numerous temporal inference tasks such as fault monitoring and anomaly detection exhibit a persistence property: for example, if something breaks, it stays broken until an interve...
131
Voted
DLT
2004
15 years 5 months ago
2004
There is a close relationship between formal language theory and data compression. Since 1990's various types of grammar-based text compression algorithms have been introduced...
147
click to vote
LWA
2004
15 years 5 months ago
2004
Data mining on large relational databases has gained popularity and its significance is well recognized. However, the performance of SQL based data mining is known to fall behind ...
137
click to vote
ASE
2010
15 years 4 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
116
click to vote
CVGIP
2008
15 years 4 months ago
2008
Wang Tiles are constructed from four texture samples, arranged so they can always match a choice of other tiles at two edges. Because they are precomputed, Wang Tiles are a very e...