3218 search results - page 286 / 644 » Timed Extensions for SDL |
181
click to vote
DAWAK
2004
Springer
15 years 10 months ago
2004
Springer
Mining association rule in event sequences is an important data mining problem with many applications. Most of previous studies on association rules are on mining intra-transaction...
177
click to vote
DELTA
2004
IEEE
15 years 10 months ago
2004
IEEE
Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or act...
181
click to vote
COCOON
2006
Springer
15 years 10 months ago
2006
Springer
We consider the problem of reconciling gene trees with a species tree based on the widely accepted Gene Duplication model from Goodman et al. Current algorithms that solve this pro...
175
click to vote
DALT
2006
Springer
15 years 10 months ago
2006
Springer
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
176
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...