8141 search results - page 200 / 1629 » Higher Order Generalization |
153
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
155
click to vote
DKE
2006
15 years 3 months ago
2006
Previous work in change detection to XML documents is not suitable for detecting the changes to large XML documents as it requires a lot of memory to keep the two versions of XML ...
118
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
The use of Flash memories in portable embedded systems is ever increasing. This is because of the multi-level storage capability that makes them excellent candidates for high dens...
132
click to vote
KDD
2005
ACM
16 years 4 months ago
2005
ACM
Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the temporal ...
145
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...