Sciweavers

8555 search results - page 1360 / 1711
» Property Based Coordination
Sort
View
172
Voted
ICDT
2007
ACM
97views Database» more  ICDT 2007»
16 years 1 months ago
Combining Temporal Logics for Querying XML Documents
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
Marcelo Arenas, Pablo Barceló, Leonid Libki...
215
Voted
ICESS
2007
Springer
16 years 1 months ago
An Efficient Buffer Management Scheme for Implementing a B-Tree on NAND Flash Memory
Recently, NAND flash memory has been used for a storage device in various mobile computing devices such as MP3 players, mobile phones and laptops because of its shock-resistant, lo...
Hyun-Seob Lee, Sangwon Park, Ha-Joo Song, Dong-Ho ...
207
Voted
ICIAR
2007
Springer
16 years 1 months ago
A Fast and Reliable Image Mosaicing Technique with Application to Wide Area Motion Detection
Abstract. Image mosaicing is stirring up a lot of interests in the research community for both its scientific significance and potential spinoff in real world applications. Bein...
Alessandro Bevilacqua, Pietro Azzari
202
Voted
IEAAIE
2007
Springer
16 years 1 months ago
Robust Multi-scale Full-Band Image Watermarking for Copyright Protection
With the exponential growth of digital materials in this age, the protection of Intellectual Property Right (IPR) becomes an important and urgent topic. In this paper, we propose a...
Jung-Chun Liu, Chu-Hsing Lin, Li-Ching Kuo, Jen-Ch...
ISSAC
2007
Springer
130views Mathematics» more  ISSAC 2007»
16 years 1 months ago
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...
Erich Kaltofen, Zhengfeng Yang, Lihong Zhi
« Prev « First page 1360 / 1711 Last » Next »