99 search results - page 8 / 20 » Temporal Decomposition for Logic Optimization |
ENTCS
2007
13 years 7 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
SPIN
2010
Springer
13 years 5 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
COCOON
2003
Springer
14 years 22 days ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
Temporal prediction in standard video coding is performed in the spatial domain, where each pixel is predicted from a motioncompensated reconstructed pixel in a prior frame. This ...
CVPR
2012
IEEE
12 years 1 months ago
2012
IEEE
We present a new algorithm to jointly track multiple objects in multi-view images. While this has been typically addressed separately in the past, we tackle the problem as a single...