5015 search results - page 850 / 1003 » Model Checking a Path |
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
—In this paper we develop a unified theoretical framework for estimating various transmission costs of packet forwarding in wireless networks. Our framework can be applied to th...
IPCAI
2010
13 years 8 months ago
2010
Colonoscopy is a minimally invasive endoscopic procedure to survey, diagnose and treat possible disease in the colon. Clinicians are trained to manipulate a colonoscope while minim...
ML
2010
ACM
13 years 8 months ago
2010
ACM
Scientific literature with rich metadata can be represented as a labeled directed graph. This graph representation enables a number of scientific tasks such as ad hoc retrieval o...
SMC
2010
IEEE
13 years 8 months ago
2010
IEEE
—Closed Circuit Television systems in shopping malls could be used to monitor the shopping behavior of people. From the tracked path, features can be extracted such as the relati...
WIOPT
2010
IEEE
13 years 8 months ago
2010
IEEE
Scheduling of transmissions is one of the most fundamental problems in the context of wireless networks. In this article, we consider the problem of computing power efficient sched...