5358 search results - page 767 / 1072 » Script-based Presentation of Simulation Results |
195
click to vote
LFCS
2007
Springer
16 years 23 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
191
click to vote
MCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We describe an ensemble of classifiers based algorithm for incremental learning in nonstationary environments. In this formulation, we assume that the learner is presente...
168
click to vote
MSN
2007
Springer
16 years 23 days ago
2007
Springer
There are many applications of large scale sensor networks in which both the stimulus and the data collection stations are mobile (i.e. animal tracking, battlefield chasing). TTDD ...
164
click to vote
NETCOOP
2007
Springer
16 years 23 days ago
2007
Springer
— We present both a game theoretic and a distributed algorithmic approach for the transit price negotiation problem in the interdomain routing framework. We analyze the behavior ...
165
click to vote
SSS
2007
Springer
16 years 22 days ago
2007
Springer
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...