Filter your results
- 7
- 7
- 7
- 1
- 2
- 2
- 2
- 7
- 5
- 5
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
7 results
|
|
sorted by
|
|
Conjugate Gradient Method for Brain Magnetic Resonance Images Segmentation6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.561-572, ⟨10.1007/978-3-319-89743-1_48⟩
Conference papers
hal-01913885v1
|
||
|
Towards Real-Time Co-authoring of Linked-Data on the WebCIIA'2015 - 5th International Conference on Computer Science and Its Applications, May 2015, Saida, Algeria. pp.538-548, ⟨10.1007/978-3-319-19578-0_44⟩
Conference papers
hal-01789931v1
|
||
|
Canonical Form of Gray Codes in N-cubes23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.68-80, ⟨10.1007/978-3-319-58631-1_6⟩
Conference papers
hal-01656349v1
|
||
|
Adaptive-Segmentation and Flexible-Delay Based Broadcasting Protocol for VANETs15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.207-218, ⟨10.1007/978-3-319-61382-6_17⟩
Conference papers
hal-01675423v1
|
||
|
Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Conference papers
hal-00640312v1
|
||
|
Praspel: A Specification Language for Contract-Based Testing in PHP23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩
Conference papers
hal-00640279v1
|
||
|
Tooled Process for Early Validation of SysML Models using Modelica Simulation6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩
Conference papers
hal-01246025v1
|