6650 search results - page 153 / 1330 » models 2009 |
154
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
162
click to vote
BRAIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. By adopting neurological theories on the role of emotions and feelings, an agent model is introduced incorporating the reciprocal interaction between believing and feelin...
168
click to vote
CHI
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, we propose a model to predict the performance of selection techniques using Brain-Computer Interfaces based on P300 signals. This model is based on Markov theory an...
223
click to vote
ICQT
2009
15 years 4 months ago
2009
Due to a lack of incentives, Internet peerings are a notorious bandwidth bottleneck. Through the use of direct interconnection and content delivery networks, content providers are...
165
click to vote
ICTIR
2009
Springer
16 years 1 months ago
2009
Springer
We address the problem of online term recurrence prediction: for a stream of terms, at each time point predict what term is going to recur next in the stream given the term occurre...