4184 search results - page 27 / 837 » Names of Our Lives |
57
Voted
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
Tracing of curvilinear structures is one of the fundamental tools in the quantitative analysis of biological images, for extracting information about structures such as blood vess...
58
Voted
ISBI
2007
IEEE
15 years 3 months ago
2007
IEEE
Microtubule (MT) dynamics are traditionally analyzed from time lapse images by manual techniques that are laborious, approximate and often limited. Recently, computer vision techn...
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
PODC
2003
ACM
15 years 2 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
Important properties of many protocols are liveness or availability, i.e., that something good happens now and then. In asynchronous scenarios these properties obviously depend on...