Sciweavers

4880 search results - page 797 / 976
» Mechanism Design by Creditability
Sort
View
145
Voted
PERCOM
2008
ACM
15 years 4 months ago
An Infrastructure for Developing Pervasive Learning Environments
This paper presents an infrastructure for developing problem-based pervasive learning environments. Building such environments necessitates having many autonomous components deali...
Sabine Graf, Kathryn MacCallum, Tzu-Chien Liu, Mai...
PERCOM
2008
ACM
15 years 4 months ago
CASD: Management of a context-aware service directory
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...
Christos Doulkeridis, Michalis Vazirgiannis
NETWORK
2006
116views more  NETWORK 2006»
15 years 4 months ago
Quality of service support in IEEE 802.16 networks
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...
Claudio Cicconetti, Luciano Lenzini, Enzo Mingozzi...
130
Voted
NJC
2006
86views more  NJC 2006»
15 years 4 months ago
Structured Formal Development in Isabelle
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
Maksym Bortin, Einar Broch Johnsen, Christoph L&uu...
126
Voted
NN
2006
Springer
153views Neural Networks» more  NN 2006»
15 years 4 months ago
An incremental network for on-line unsupervised classification and topology learning
This paper presents an on-line unsupervised learning mechanism for unlabeled data that are polluted by noise. Using a similarity thresholdbased and a local error-based insertion c...
Shen Furao, Osamu Hasegawa