1032 search results - page 81 / 207 » Extended Computation Tree Logic |
139
Voted
TIP
2008
15 years 3 months ago
2008
In this paper, we explore the application of 2-D dual-tree discrete wavelet transform (DDWT), which is a directional and redundant transform, for image coding. Three methods for sp...
138
Voted
CORR
2010
Springer
15 years 29 days ago
2010
Springer
To minimize the number of wavelengths required by a multicast session in sparse light splitting Wavelength Division Multiplexing (WDM) networks, a light-hierarchy structure, which ...
146
Voted
JAVA
2001
Springer
15 years 8 months ago
2001
Springer
CX, a network-based computational exchange, is presented. The system’s design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks, e...
123
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
138
Voted
EDBT
2000
ACM
15 years 7 months ago
2000
ACM
The management and query processing of one dimensional intervals is a special case of extended object handling. One dimensional intervals play an important role in temporal databa...