6432 search results - page 1073 / 1287 » Classic Mechanism Design |
214
click to vote
MVA
2006
15 years 7 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
207
click to vote
PERCOM
2008
ACM
15 years 7 months ago
2008
ACM
This paper presents an infrastructure for developing problem-based pervasive learning environments. Building such environments necessitates having many autonomous components deali...
201
click to vote
PERCOM
2008
ACM
15 years 7 months ago
2008
ACM
Traditional web service discovery is strongly related to the use of service directories. Especially in the case of mobile web services, where both service requestors and providers...
201
click to vote
NETWORK
2006
15 years 7 months ago
2006
During the last few years, users all over the world have become more and more accustomed to the availability of broadband access. This has boosted the use of a wide variety both o...
191
click to vote
NJC
2006
15 years 7 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...