2530 search results - page 252 / 506 » Dynamic topological logic |
210
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
179
click to vote
WEBI
2007
Springer
16 years 23 days ago
2007
Springer
— Many information retrieval and machine learning methods have not evolved in order to be applied to the Web. Two main problems in applying some machine learning techniques for W...
162
click to vote
ICAS
2006
IEEE
16 years 22 days ago
2006
IEEE
— The development of applications that target dynamic networks often adresses the same difficulties. Since the underlying network topology is unstable, the application has to ha...
189
click to vote
WIOPT
2006
IEEE
16 years 20 days ago
2006
IEEE
— Cooperative and reliable packet forwarding presents a formidable challenge in mobile ad hoc networks (MANET), due to special network characteristics; e.g., mobility, dynamic to...
161
click to vote
CIG
2005
IEEE
16 years 9 days ago
2005
IEEE
— We study by computer simulation a population of individuals playing the prisoner’s dilemma game. Each player has an invariable strategy (cooperate or defect) but the network ...