26 search results - page 3 / 6 » Time Separation of Events: An Inverse Method |
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
JPEG 2000 is a lossy integer-to-integer transform-based compression method that first quantizes the separable 2-D wavelet transform coefficients, then entropy codes them. The imag...
CIMAGING
2010
13 years 9 months ago
2010
The observations in many applications consist of counts of discrete events, such as photons hitting a detector, which cannot be effectively modeled using an additive bounded or Ga...
AAAI
1996
13 years 8 months ago
1996
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
GEOINFO
2003
13 years 8 months ago
2003
A new topic of great relevance and concern has been the design of efficient early warning systems to detect as soon as possible the emergence of spatial clusters. In particular, m...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...