6608 search results - page 1153 / 1322 » On the Completeness of Model Checking |
148
click to vote
DSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Wireless sensor networks (WSN) are composed of battery-driven communication entities performing multiple, usually different tasks. In order to complete a given task, all sensor no...
125
click to vote
FGR
2006
IEEE
15 years 10 months ago
2006
IEEE
Facial composites are typically constructed by witnesses to crime by describing a suspect's face and then selecting facial features from a kit of parts. Unfortunately, when p...
102
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— We consider the problem of distributing a content of finite size to a group of users connected through an overlay network that is built by a peer-to-peer application. The goal...
157
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— We consider wireless multihop data networks with random multi-access mechanisms at the MAC layer. Our aim is to study the performance as perceived by users in a dynamic setting...
133
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. This paper presents an algorithm to generate a smooth surface between two closed spatial spline curves. With the assumption that the two input curves can be projected to ...