571 search results - page 94 / 115 » Performing causality analysis by bounded model checking |
MM
2006
ACM
15 years 5 months ago
2006
ACM
Many recent studies perform annotation of paintings based on brushwork. In these studies the brushwork is modeled indirectly as part of the annotation of high-level artistic conce...
122
click to vote
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Integrating contributions received from other agents is an essential activity in multi-agent systems (MASs). Not only must related contributions be integrated together, but the co...
109
click to vote
DAC
2006
ACM
16 years 21 days ago
2006
ACM
Existing approaches to timing analysis under uncertainty are based on restrictive assumptions. Statistical STA techniques assume that the full probabilistic distribution of parame...
113
click to vote
IOPADS
1997
15 years 1 months ago
1997
We provide a competitive analysis framework for online prefetching and buffer management algorithms in parallel I/O systems, using a read-once model of block references. This has ...
108
click to vote
PEWASUN
2007
ACM
15 years 1 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...