2635 search results - page 41 / 527 » Refactoring Process Models in Large Process Repositories |
FMICS
2008
Springer
15 years 17 days ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Hawkes processes are used for modeling tick-by-tick variations of a single or of a pair of asset prices. For each asset, two counting processes (with stochastic intensities) are a...
NIPS
2007
15 years 14 days ago
2007
Natural sounds are structured on many time-scales. A typical segment of speech, for example, contains features that span four orders of magnitude: Sentences (∼1 s); phonemes (âˆ...
101
click to vote
ISASSCI
2001
15 years 12 days ago
2001
The bottleneck of a data warehouse implementation is the ETL (extraction, transformation, and load) process, which carries out the initial population of the data warehouse and its...
DAWAK
1999
Springer
15 years 3 months ago
1999
Springer
One of the most challenging problems in data manipulation in the future is to be able to e ciently handle very large databases but also multiple induced properties or generalizatio...