241 – 250 of 523
- 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
Differences in radiologists’ experiences and performance in breast tomosynthesis
2012) 11th International Workshop on Digital Mammography In Lecture Notes in Computer Science 7361. p.377-385(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tracking in action space
2012) 11th European Conference on Computer Vision, ECCV 2010 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6553. p.100-113(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
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
Automatic Compartment Modelling and Segmentation for Dynamical Renal Scintigraphies
(
- 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
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
Approximation algorithms for buy-at-bulk geometric network design
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding