9067 search results - page 1527 / 1814 » Adaptive Model Checking |
202
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Handwritten document images contain textlines with multi orientations, touching and overlapping characters within consecutive textlines, and small inter-line spacing making textli...
178
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Determining how to transport delay-sensitive voice data has long been a problem in multimedia networking. The difficulty arises because voice and best-effort data are different...
181
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose an interference-aware MAC protocol using a simple transmission strategy motivated by a gametheoretic approach. We formulate a channel access game, which considers nod...
213
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...
181
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In last years, trust and reputation has been gaining increasing interest in multi-agent systems (MAS). To address this issue, we propose in this paper a maintenance-based trust me...