3342 search results - page 376 / 669 » Automating Abstract Interpretation |
155
click to vote
COMPLIFE
2006
Springer
15 years 8 months ago
2006
Springer
. OSCAR3 is an open extensible system for the automated annotation of chemistry in scientific articles, which can process thousands of articles per hour. This XML annotation suppor...
161
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
119
Voted
EUROGP
2008
Springer
15 years 6 months ago
2008
Springer
We present an approach for the automated synthesis of proactive aggregation protocols using Genetic Programming and discuss major decisions in modeling and simulating distributed a...
131
click to vote
BILDMED
2008
15 years 6 months ago
2008
Abstract. In this paper, we introduce a new method for hatching patient-specific, anatomic 3D surface models, in particular hatching of muscle surfaces. However, the method is tran...
133
click to vote
DICTA
2003
15 years 6 months ago
2003
Abstract. Digital radiology leads to a growing amount of medical images which impose severe demands on networking and storage resources. These requirements can be met using content...