3909 search results - page 603 / 782 » Extreme Model Checking |
153
click to vote
ANOR
2007
15 years 6 months ago
2007
The profitability and morale of many organizations (such as factories, hospitals and airlines) are affected by their ability to schedule their personnel properly. Sophisticated an...
159
click to vote
CGF
2008
15 years 6 months ago
2008
We present a streaming method for reconstructing surfaces from large data sets generated by a laser range scanner using wavelets. Wavelets provide a localized, multiresolution rep...
163
click to vote
COMCOM
2008
15 years 6 months ago
2008
Despite the advantages offered by pure Peer-to-Peer (P2P) networks (e.g. robustness and fault tolerance), a crucial requirement is to guarantee basic security properties, such as ...
166
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--We consider power control in cognitive radio networks where secondary users identify and exploit instantaneous and local spectrum opportunities without causing unacceptab...
173
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
Connectivity and neighborhood are fundamental topological properties of objects in pictures. Since the input for any image analysis algorithm is a digital image, which does not ne...