261 – 270 of 550
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2012
-
Mark
PQL: A Purely-Declarative Java Extension for Parallel Programming
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Java wildcards meet definition-site variance
(2012) 26th European Conference on Object-Oriented Programming, ECOOP 2012 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7313 LNCS. p.509-534
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Relating proof complexity measures and practical hardness of SAT
(2012) 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 In Lecture Notes in Computer Science 7514. p.316-331
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2011
-
Mark
Optimal View Path Planning for Visual SLAM
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Harnessing Handheld Computing – Managing IS Support to the Digital Ranger with Defensive Design
(2011) International Conference on Design Science in Information Systems and Technology 6629. p.62-76
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Technique for Remote Detection of Certain Virtual Machine Monitors
(2011) The Third International Conference on Trusted Systems, INTRUST 2011 In Lecture Notes in Computer Science 7222. p.129-137
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
An Automated System for the Detection and Diagnosis of Kidney Lesions in Children from Scintigraphy Images
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximation algorithms for buy-at-bulk geometric network design
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Stable Structure from Motion for Unordered Image Collections
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automatic Compartment Modelling and Segmentation for Dynamical Renal Scintigraphies
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
