352 search results - page 23 / 71 » On the optimal reachability problem of weighted timed automa... |
126
click to vote
PACT
2005
Springer
15 years 5 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
93
Voted
ICS
2000
Tsinghua U.
15 years 4 months ago
2000
Tsinghua U.
Loop fusion is important to optimizing compilers because it is an important tool in managing the memory hierarchy. By fusing loops that use the same data elements, we can reduce t...
ICDT
2005
ACM
15 years 5 months ago
2005
ACM
In recent years wavelets were shown to be effective data synopses. We are concerned with the problem of finding efficiently wavelet synopses for massive data sets, in situations...
105
Voted
PVLDB
2010
14 years 10 months ago
2010
A Business Process (BP for short) consists of a set of activities that achieve some business goal when combined in a flow. Among all the (maybe infinitely many) possible executi...
111
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...