2448 search results - page 239 / 490 » The Octahedron Abstract Domain |
171
click to vote
ACIVS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper, we introduce a novel evolution-based segmentation algorithm by using the heat flow analogy, to gain practical advantage. The proposed algorithm consists of...
118
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
This paper describes an agent system we have built to handle order entry and management issue in business computing and specialized in the telecommunication domain. Our system is ...
160
click to vote
BIOSURVEILLANCE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, p...
179
click to vote
BIRD
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We analyse data from the Edinburgh Mouse Atlas GeneExpression Database (EMAGE) which is a high quality data source for spatio-temporal gene expression patterns. Using a n...
157
click to vote
BIRTHDAY
2007
Springer
16 years 25 days ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...