Funding Data Link References Status API Help
Page 1 of 81 results
Sort by: relevance publication year

Breast Imaging

Book published 2012 in Lecture Notes in Computer Science

Editors: Andrew D. A. Maidment, Predrag R. Bakic, Sara Gavenonis

Towards Understanding Triangle Construction Problems

Chapter published 2012 in Lecture Notes in Computer Science on pages 127 to 142

Authors: Vesna Marinković, Predrag Janičić

System Description: GCLCprover + GeoThms

Chapter published 2006 in Lecture Notes in Computer Science on pages 145 to 150

Authors: Predrag Janičić, Pedro Quaresma

Automatic Verification of Regular Constructions in Dynamic Geometry Systems

Chapter published in Lecture Notes in Computer Science on pages 39 to 51

Authors: Predrag Janičić, Pedro Quaresma

Is ALOHA Causing Power Law Delays?

Chapter published in Lecture Notes in Computer Science on pages 1149 to 1160

Authors: Predrag R. Jelenković, Jian Tan

Pattern Classification via Single Spheres

Chapter published 2005 in Lecture Notes in Computer Science on pages 241 to 252

Authors: Jigang Wang, Predrag Neskovic, Leon N. Cooper

Logical Analysis of Hash Functions

Chapter published 2005 in Lecture Notes in Computer Science on pages 200 to 215

Authors: Dejan Jovanović, Predrag Janičić

URBiVA: Uniform Reduction to Bit-Vector Arithmetic

Chapter published 2010 in Lecture Notes in Computer Science on pages 346 to 352

Authors: Filip Marić, Predrag Janičić

Visual Search for Object Features

Chapter published 2005 in Lecture Notes in Computer Science on pages 877 to 887

Authors: Predrag Neskovic, Leon N Cooper

argo-lib: A Generic Platform for Decision Procedures

Chapter published 2004 in Lecture Notes in Computer Science on pages 213 to 217

Authors: Filip Marić, Predrag Janičić