3134 search results - page 280 / 627 » Computing full disjunctions |
132
click to vote
PERCOM
2005
ACM
16 years 2 months ago
2005
ACM
In order for pervasive computing to realize its full potential, pervasive applications have to be able to operate without support from fixed communication infrastructure at least ...
143
click to vote
DCC
2008
IEEE
16 years 2 months ago
2008
IEEE
A novel object-based fractal monocular and stereo video compression scheme with quadtree-based motion and disparity compensation is proposed in this paper. Fractal coding is adopte...
135
click to vote
DCC
2004
IEEE
16 years 2 months ago
2004
IEEE
It is well-known that wavelet transforms provide sparse decompositions over many types of image regions but not over image singularities/edges that manifest themselves along curve...
158
click to vote
VMCAI
2010
Springer
16 years 16 days ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
140
click to vote
SOFSEM
2010
Springer
16 years 5 days ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...