6608 search results - page 1153 / 1322 » On the Completeness of Model Checking |
200
Voted
DSD
2006
IEEE
16 years 1 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...
166
Voted
FGR
2006
IEEE
16 years 1 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...
150
Voted
GLOBECOM
2006
IEEE
16 years 1 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...
215
Voted
GLOBECOM
2006
IEEE
16 years 1 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...
176
Voted
GMP
2006
IEEE
16 years 1 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 ...