5550 search results - page 172 / 1110 » Different Approaches to Proof Systems |
168
click to vote
ECRA
2006
15 years 6 months ago
2006
As the mobile technologies and services are in constant evolution, many speculate on whether or not mobile payments will be a killer application for mobile commerce. To have a bet...
145
click to vote
JCM
2008
15 years 6 months ago
2008
In this paper, we present a solution that incorporates BitTorrent mechanism into P2P streaming. In our solution, several modifications have been incorporated into BitTorrent to sup...
202
click to vote
JSW
2008
15 years 6 months ago
2008
This paper presents a role-based agent teamwork language called RoB-MALLET (Role-Based Multi-Agent Logic Language for Encoding Teamwork). Roles have been used to form multi-agent t...
146
click to vote
ENVSOFT
2000
15 years 6 months ago
2000
Atmospheric flow and pollutant dispersion over built-up areas are affected by phenomena occurring at different scales. Hence, scale interactions should also be considered in the m...
159
click to vote
ML
1998
ACM
15 years 6 months ago
1998
ACM
We review the application of statistical mechanics methods to the study of online learning of a drifting concept in the limit of large systems. The model where a feed-forward netwo...