1313 search results - page 137 / 263 » Generic Universe Types |
159
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
158
click to vote
ISMDA
2004
Springer
15 years 10 months ago
2004
Springer
Thermal medical imaging provides a valuable method for detecting various diseases such as breast cancer or Raynaud’s syndrome. While previous efforts on the automated processing...
135
click to vote
WEA
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a metaheuristic framework for combinatorial optimization. Our framework is similar to others (e.g. [1]) in that it is modular enough that important components can be i...
139
click to vote
DNA
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we report the design and synthesis of DNA molecules (referred to as DNA tiles) with specific binding interactions that guide self-assembly to make one-dimensional as...
115
Voted
ER
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we present a volume data model amenable to querying volumes in databases. Unlike most existing volume models, which are directed towards specific applications (notab...