5630 search results - page 113 / 1126 » Computability in Specification |
109
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
130
click to vote
CVHI
2007
15 years 5 months ago
2007
: We are developing computer vision algorithms for sensing important terrain features as an aid to wheelchair navigation, which interpret visual information obtained from images co...
113
click to vote
JAR
2008
15 years 4 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
437
Voted
KER
2007
15 years 4 months ago
2007
Pervasive computing is by its nature open and extensible, and must integrate the information from a diverse range of sources. This leads to a problem of information exchange, so s...
134
Voted
GRC
2007
IEEE
15 years 8 months ago
2007
IEEE
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...