11963 search results - page 2124 / 2393 » A framework for linguistic modelling |
196
click to vote
TCC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
228
click to vote
WCW
2004
Springer
16 years 2 days ago
2004
Springer
As wireless networks increase in popularity, the development of efficient content distribution techniques to meet the growing and constantly changing client demand becomes a necess...
155
click to vote
WEBI
2004
Springer
16 years 2 days ago
2004
Springer
In order to achieve optimal efficiency in a learning process, individual learner needs his/her own personalized assistance. For a web-based open and dynamic learning environment, ...
169
click to vote
ECCV
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. We present a Bayesian approach for simultaneously estimating the number of people in a crowd and their spatial locations by sampling from a posterior distribution over cr...
194
click to vote
WER
2004
Springer
16 years 2 days ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...