3387 search results - page 626 / 678 » Model-Checking for Real-Time Systems |
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—In network measurement systems, packet sampling techniques are usually adopted to reduce the overall amount of data to collect and process. Being based on a subset of packets, t...
JMS
2010
13 years 7 months ago
2010
Health Level Seven (HL7) organization published the Clinical Document Architecture (CDA) for exchanging documents among heterogeneous systems and improving medical quality based on...
MICCAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Vitreoretinal surgeons use 0.5mm diameter instruments to manipulate delicate tissue inside the eye while applying imperceptible forces that can cause damage to the retina...
WEBI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract--Expertise matching, aiming to find the alignment between experts and queries, is a common problem in many real applications such as conference paper-reviewer assignment, ...
ACIVS
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Following a review of current hidden objects detection techniques in a range of security applications, a strategy based on an innovative, low-cost photometric stereo tech...