Sciweavers

1054 search results - page 18 / 211
» Guarded Expressions in Practice
Sort
View
ICC
2007
IEEE
129views Communications» more  ICC 2007»
14 years 4 months ago
Closed-Form Expressions for the Outage and Error Probabilities of Decode-and-Forward Relaying in Dissimilar Rayleigh Fading Chan
—User cooperation protocols, where mobile stations relay signals to the final destination, have been proposed for wireless networks. A general mathematical probability model is ...
Jeremiah Hu, Norman C. Beaulieu
ICWS
2007
IEEE
13 years 11 months ago
Model Checking Expressive Web Service Descriptions
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
Sudhir Agarwal
POPL
1996
ACM
14 years 2 months ago
Using Parameterized Signatures to Express Modular Structure
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
Mark P. Jones
ICONFERENCE
2011
13 years 4 months ago
Lifting the veil: the expression of values in online communities
Wikipedia’s stated mission is to provide a free encyclopedia that people all over the world can use and contribute to. However, while Wikipedia is successful at providing access...
Jonathan T. Morgan, Robert M. Mason, Karine Nahon

Book
1331views
15 years 8 months ago
Spatial Reasoning: Theory and Practice
"Spatial structures and spatial reasoning are essential to perception and cognition. Much day-to-day practical information is about what happens at certain spatial locations....
M. Aiello