96
Voted
SACI
2015
IEEE
9 years 11 months ago
2015
IEEE
—The paper presents the current state of research on developing a computer-assisted surgical trainer to be used in a minimally-invasive surgery training program. Along with wide ...
104
click to vote
SACI
2015
IEEE
9 years 11 months ago
2015
IEEE
—We apply the synthesis method introduced in our previous work in order to synthesize from proofs certain algorithms operating on sorted lists without duplications (“monotone l...
SACI
2015
IEEE
9 years 11 months ago
2015
IEEE
Abstract—The multitude of hardware and software applications generate a lot of data and burden security solutions that must acquire informations from all these heterogenous syste...
110
Voted
SACI
2015
IEEE
9 years 11 months ago
2015
IEEE
SACI
2015
IEEE
9 years 11 months ago
2015
IEEE
— The idea of using mobile robots to different applications is very common today. For choosing the best hardware and software configuration for the mobile robot it is necessary i...