5608 search results - page 828 / 1122 » Structure description tools |
224
click to vote
FLAIRS
2009
15 years 4 months ago
2009
Scientists typically need to take a large volume of information into account in order to deal with re-occurring tasks such as inspecting proceedings, finding related work, or revi...
164
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
183
click to vote
COMPLEXITY
2010
15 years 4 months ago
2010
To gain a deeper understanding of the impact of spatial embedding on the dynamics of complex systems we employ a measure of interaction complexity developed within neuroscience us...
149
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We present a general method of designing fast approximation algorithms for cut-based minimization problems in undirected graphs. In particular, we develop a technique that given a...
184
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...