1456 search results - page 47 / 292 » An Overview of the SODA System |
SODA
2010
ACM
13 years 6 months ago
2010
ACM
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
APWEB
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We introduce Socio-Sense Web analysis system. The system applies structural and temporal analysis methods to long term Web archive to obtain insight into the real society...
TRUSTBUS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Bayesian reputation systems are quite flexible and can relatively easily be adapted to different types of applications and environments. The purpose of this paper is to ...
WETICE
2006
IEEE
14 years 1 months ago
2006
IEEE
The goal of the ProFlex workshop is to bring together practitioners and researchers from different communities who share an interest in flexibility of process-aware information s...
UML
2004
Springer
14 years 29 days ago
2004
Springer
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...