852 search results - page 64 / 171 » Using graph parsing for automatic graph drawing |
143
Voted
NOMS
2010
IEEE
15 years 12 days ago
2010
IEEE
The trend for future mobile networks is to move away from Network Elements (NEs) delivered with specially tailored configurations towards off-the-shelf products. The configurations...
166
Voted
TAOSD
2010
15 years 27 days ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
122
click to vote
3DPH
2009
15 years 3 months ago
2009
We present a nearly automatic graph-based segmentation method for patient specific modeling of the aortic arch and carotid arteries from CTA scans for interventional radiology simu...
108
Voted
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
132
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...