7986 search results - page 429 / 1598 » Computational Science and its Applications |
162
click to vote
WG
2007
Springer
16 years 29 days ago
2007
Springer
Modularity is a recently introduced quality measure for graph clusterings. It has immediately received considerable attention in several disciplines, and in particular in the compl...
198
click to vote
ACSC
2006
IEEE
16 years 28 days ago
2006
IEEE
The purpose of refactoring is to improve the quality of a software system by changing its internal design so that it is easier to understand or modify, or less prone to errors and...
188
click to vote
FOCS
2005
IEEE
16 years 15 days ago
2005
IEEE
We present a non-malleable commitment scheme that retains its security properties even when concurrently executed a polynomial number of times. That is, a manin-the-middle adversa...
188
click to vote
RTA
2005
Springer
16 years 10 days ago
2005
Springer
In this paper, we consider the monadic second order logic (MSO) and two of its extensions, namely Counting MSO (CMSO) and Presburger MSO (PMSO), interpreted over unranked and unord...
197
click to vote
TLCA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...