8555 search results - page 1360 / 1711 » Property Based Coordination |
172
Voted
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
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...
215
Voted
ICESS
2007
Springer
16 years 1 months ago
2007
Springer
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...
207
Voted
ICIAR
2007
Springer
16 years 1 months ago
2007
Springer
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...
202
Voted
IEAAIE
2007
Springer
16 years 1 months ago
2007
Springer
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...
188
click to vote
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
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...