7986 search results - page 176 / 1598 » Computational Science and its Applications |
242
click to vote
CAD
2011
Springer
15 years 17 days ago
2011
Springer
The problem of computing the minimum enclosing sphere (MES) of a point set is a classical problem in Computational Geometry. As an LP-type problem, its expected running time on th...
147
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
that graph transformations provide the right level of abstraction, and useful technical tools for studying gene assembly. On the other hand, the gene assembly process inspires a ne...
157
click to vote
EXPCS
2007
15 years 9 months ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
167
click to vote
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
157
click to vote
RTA
2009
Springer
16 years 3 days ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...