1626 search results - page 187 / 326 » Subtyping with Power Types |
143
click to vote
AI
2010
Springer
15 years 5 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
128
click to vote
COGSCI
2010
15 years 5 months ago
2010
We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same pr...
177
Voted
COMCOM
2008
15 years 5 months ago
2008
Underwater wireless sensor networks consist of a certain number of sensors and vehicles that interact to collect data and perform collaborative tasks. Designing energy-efficient r...
133
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
A Rapid evolution of mobile technologies has led to the development of more sophisticated mobile devices with better storage, processing and transmission power. These factors enab...
134
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This work considers coordination and bargaining between two selfish users over a Gaussian interference channel using game theory. The usual information theoretic approach assumes f...