scholarly journals Formal Verification for Feature-Based Composition of Workflows

2018 ◽  
Author(s):  
Stephan Adelsberger ◽  
Bashar Igried ◽  
Markus Moser ◽  
Vadim Savenkov ◽  
Anton Setzer
Keyword(s):  
Formal Verification ◽  
Feature Based

A feature-based classification of formal verification techniques for software models

2017 ◽  
Vol 18 (1) ◽  
pp. 473-498 ◽  
Author(s):  
Sebastian Gabmeyer ◽  
Petra Kaufmann ◽  
Martina Seidl ◽  
Martin Gogolla ◽  
Gerti Kappel
Keyword(s):  
Formal Verification ◽  
Software Models ◽  
Feature Based ◽  
Verification Techniques ◽  
Feature Based Classification

Feature-based recognition of trabecular microstructure using 1.5T magnetic resonance imaging: a new methodology

2015 ◽  
Author(s):  
Paul Dimitri ◽  
Karim Lekadir ◽  
Corne Hoogendoorn ◽  
Paul Armitage ◽  
Elspeth Whitby ◽  
...  
Keyword(s):  
Magnetic Resonance Imaging ◽  
Magnetic Resonance ◽  
Resonance Imaging ◽  
Trabecular Microstructure ◽  
Feature Based

Optimization of Formant Feature Based Speech Recognition

Informatica ◽  
2010 ◽  
Vol 21 (3) ◽  
pp. 361-374 ◽  
Author(s):  
Antanas Lipeika
Keyword(s):  
Speech Recognition ◽  
Feature Based

Feature-Based Registration of Thorax CT Scan Slices

Informatica ◽  
2017 ◽  
Vol 28 (3) ◽  
pp. 439-452
Author(s):  
Mykolas J. Bilinskas ◽  
Gintautas Dzemyda ◽  
Mantas Trakymas
Keyword(s):  
Ct Scan ◽  
Feature Based ◽  
Thorax Ct

A Proposal of 3D Feature based on Occupancy of Point Cloud in Multi-Scale Shell Region

2016 ◽  
Vol 136 (8) ◽  
pp. 1078-1084
Author(s):  
Shoichi Takei ◽  
Shuichi Akizuki ◽  
Manabu Hashimoto
Keyword(s):  
Point Cloud ◽  
Multi Scale ◽  
Feature Based ◽  
Shell Region

Joint Feature Based Rain Detection and Removal from Videos

2013 ◽  
Vol E96.A (6) ◽  
pp. 1195-1203 ◽  
Author(s):  
Xinwei XUE ◽  
Xin JIN ◽  
Chenyuan ZHANG ◽  
Satoshi GOTO
Keyword(s):  
Feature Based
Sign in / Sign up

Export Citation Format

Share Document