1313 search results - page 137 / 263 » Generic Universe Types |
206
click to vote
ESOP
2004
Springer
16 years 7 days 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...
195
click to vote
ISMDA
2004
Springer
16 years 6 days 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...
162
click to vote
WEA
2004
Springer
16 years 5 days 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...
172
click to vote
DNA
2003
Springer
16 years 2 days 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...
144
click to vote
ER
2003
Springer
16 years 2 days 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...