3342 search results - page 476 / 669 » Automating Abstract Interpretation |
94
Voted
AGILE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In cartography and computational geometry, concepts and techniques for automated label placement have been developed for twodimensional maps. Less is known whether these ...
128
Voted
AIME
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The practice of medicine is becoming increasingly evidencebased and clinical practice guidelines (CPGs) are necessary for advancing evidence-based medicine (EBM). We hypo...
134
click to vote
BIOSURVEILLANCE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Conserved regions, or motifs, present among RNA secondary structures serve as a useful indicator for predicting the functionality of the RNA molecules. Automated detectio...
99
Voted
BPM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Service Oriented Architecture (SOA) forms an ideal infrastructure for Business Process Management as applications are invoked using standard interfaces and protocols. Aut...
100
Voted
BTW
2007
Springer
15 years 7 months ago
2007
Springer
Abstract: With information infrastructures getting more and more complex, it becomes necessary to give automated support for managing the evolution of the infrastructure. If change...