1382 search results - page 30 / 277 » Formal Analysis of Online Algorithms |
154
click to vote
SEMWEB
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. Social Network Analysis (SNA) provides graph algorithms to characterize the structure of social networks, strategic positions in these networks, specific sub-networks and...
147
click to vote
FORTE
1997
15 years 7 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
155
Voted
CP
2007
Springer
15 years 12 months ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...
136
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Relative worst order analysis is a supplement or alternative to competitive analysis which has been shown to give results more in accordance with observed behavior of online algori...
161
click to vote
MM
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...