5015 search results - page 850 / 1003 » Model Checking a Path |
135
Voted
INFOCOM
2010
IEEE
15 years 23 days 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...
107
click to vote
IPCAI
2010
15 years 23 days 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...
140
click to vote
ML
2010
ACM
15 years 22 days 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...
144
click to vote
SMC
2010
IEEE
15 years 20 days 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...
149
click to vote
WIOPT
2010
IEEE
15 years 4 days 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...