549 search results - page 59 / 110 » Verification condition generation for conditional informatio... |
103
Voted
ICIP
1998
IEEE
16 years 2 months ago
1998
IEEE
In this paper, we proposed a neural network based scheme for performing unsupervised video object segmentation, especially for videophone or videoconferencing applications. The pr...
190
click to vote
POPL
2004
ACM
16 years 27 days ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
ICNP
2007
IEEE
15 years 7 months ago
2007
IEEE
— The Internet provides no information on the fate of transmitted packets, and end systems cannot determine who is responsible for dropping or delaying their traffic. As a resul...
102
click to vote
CJ
2004
15 years 13 days ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
101
Voted
CTW
2004
15 years 13 days ago
2004
Neonatal intensive care units (NICUs), like other intensive care units, are intended to provide immediate responses to any change in the patient's condition. Patient-monitorin...