101 – 200 of 523
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2019
-
Mark
Efficient Hardware Implementations of Grain-128AEAD
2019) 20th International Conference on Cryptology in India, INDOCRYPT 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11898 LNCS. p.495-513(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A novel CCA attack using decryption errors against LAC
2019) 25th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11921 LNCS. p.82-111(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Two-Way Gaze Sharing in Remote Teaching
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fundamentals of Computation Theory : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
(2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science 11651.
- Book/Report › Book
-
Mark
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs
2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11651. p.322-334(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11651 LNCS.(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Design and Evaluation of Three Interaction Models for Manipulating Internet of Things (IoT) Devices in Virtual Reality
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using VR for Fitness Training – Pilot Study
2019) 16th EuroVR International Conference, EuroVR 2019(
In Lecture Notes in Computer Scence 11883. p.97-115- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Deep Learning Approach to MR-less Spatial Normalization for Tau PET Images
2019) 22nd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11765 LNCS. p.355-363(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Parametric Model-Based 3D Human Shape and Pose Estimation from Multiple Views
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.336-347(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Merging of Maps and Detection of Changes
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.348-360(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Global Trifocal Adjustment
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.287-298(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Generating Diffusion MRI Scalar Maps from T1 Weighted Images Using Generative Adversarial Networks
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.489-498(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Combining Depth Fusion and Photometric Stereo for Fine-Detailed 3D Models
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.261-274(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Simplest Multi-key Linearly Homomorphic Signature Scheme
2019) 6th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2019 In Lecture Notes in Computer Science 11774. p.280-300(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visual Odometry for Indoor Mobile Robot by Recognizing Local Manhattan Structures
2019) 14th Asian Conference on Computer Vision (ACCV 2018) In Lecture Notes in Computer Science 11365.(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Methodological strategies to understand smartphone practices for social connectedness in later life
2019) 5th International Conference on Human Aspects of IT for the Aged Population, ITAP 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCI International 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11593 LNCS. p.46-64(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
Trust Anchors in Software Defined Networks
2018) European Symposium on Research in Computer Security In Lecture Notes in Computer Science 11009. p.485-505(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
HAVOSS: A Maturity Model for Handling Vulnerabilities in Third Party OSS Components
2018) International Conference on on Product-Focused Software Process Improvement (PROFES 2018) In Lecture Notes in Computer Science 11271. p.81-97(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Teaching without learning : Is it OK With weak AI?
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10948 LNAI. p.241-245(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Do preschoolers ‘Game the system’? : a case study of children’s intelligent (Mis)use of a teachable agent based play-&-learn game in mathematics
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10947 LNAI. p.557-569(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Perseverance Is crucial for learning. “OK! but Can I take a break?”
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10947 LNAI. p.532-544(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Fiat-Shamir Zoo : Relating the Security of Different Signature Variants
2018) 23rd Nordic Conference on Secure IT Systems, NordSec 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11252 LNCS. p.154-170(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
QREME – Quality requirements management model for supporting decision-making
2018) 24th International Working Conference on Requirements Engineering Foundation for Software Quality, REFSQ 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10753 LNCS. p.173-188(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Practical Attacks on Relational Databases Protected via Searchable Encryption
2018) 21st Information Security Conference, ISC 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11060 LNCS. p.171-191(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Iterative High Resolution Tomography from Combined High-Low Resolution Sinogram Pairs
2018) 19th International Workshop on Combinatorial Image Analysis, IWCIA 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11255 LNCS. p.150-163(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design for me?
2018) 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10896 LNCS. p.93-99(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A taxonomy of deviant encodings
2018) 14th Conference on Computability in Europe, CiE 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10936 LNCS. p.338-348(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adaptive interface for mapping body movements to sounds
2018) 7th International Conference on Computational Intelligence in Music, Sound, Art and Design, EvoMUSART 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10783 LNCS. p.194-205(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A projected gradient descent method for crf inference allowing end-to-end training of arbitrary pairwise potentials
2018) 11th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMVCPR 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10746 LNCS. p.564-579(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An exploratory study on how Internet of Things developing companies handle User Experience Requirements
2018) 24th International Working Conference on Requirements Engineering Foundation for Software Quality, REFSQ 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10753 LNCS. p.20-36(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
In between resolution and cutting planes : A study of proof systems for pseudo-boolean SAT solving
2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.292-310(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers
2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.75-93(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Matrioska: A Compiler for Multi-key Homomorphic Signatures
2018) 11th International Conference on Security and Cryptography for Networks, SNC 2018 In Lecture Notes in Computer Science 11035. p.43-62(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fading characterization of 73 GHz millimeter-wave V2V channel based on real measurements
2018) 13th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10796. p.159-168(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Rectification from radially-distorted scales
2018) 14th Asian Conference on Computer Vision (ACCV 2018) In Lecture notes in computer science (LNCS) 11365. p.36-52(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2017
-
Mark
A secure group-based AKA protocol for machine-type communications
2017) 19th International Conference on Information Security and Cryptology, ICISC 2016 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10157 LNCS. p.3-27(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
The altruistic robot : Do what i want, not just what i say
2017) 11th International Conference on Scalable Uncertainty Management, SUM 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10564 LNAI. p.149-162(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Argument-Based Bayesian Estimation of Attack Graphs : A Preliminary Empirical Analysis
2017) 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10621 LNAI. p.523-532(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Multicompartment simulations of NMDA receptor based facilitation in an insect target tracking neuron
2017) 26th International Conference on Artificial Neural Networks, ICANN 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10613 LNCS. p.397-404(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Coded-BKW with Sieving
2017) 23rd Annual International Conference on the Theory and Applications of Cryptology and Information Security (ASIACRYPT), 2017 In Lecture Notes in Computer Science 10624. p.323-346(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Introducing programming and digital competence in Swedish K-9 education
2017) 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10696 LNCS. p.117-128(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Publishing E-RDF linked data for many agents by single third-party server
2017) 7th Joint International Conference on Semantic Technology, JIST 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10675 LNCS. p.151-163(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
CNFgen : A generator of crafted benchmarks
2017) 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 In Lecture Notes in Computer Science 10491. p.464-473(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Conditional Cube Attack on Reduced-Round Keccak Sponge Function
2017) 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017 In Lecture Notes in Computer Science 10211.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Grey Matter Segmentation in Spinal Cord MRIs via 3D Convolutional Encoder Networks with Shortcut Connections
2017) In Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support 10553. p.330-337(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2016
-
Mark
Online Evolution for Multi-Action Adversarial Games
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Transferring and compressing convolutional neural networks for face representations
2016) 13th International Conference on Image Analysis and Recognition, ICIAR 2016 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9730. p.20-29(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Uncovering symmetries in polynomial systems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploiting Trust in Deterministic Builds
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How Firms Adapt and Interact in Open Source Ecosystems: Analyzing Stakeholder Influence and Collaboration Patterns
2016) International Working Conference on Requirements Engineering: Foundation for Software Quality, 2016 In Lecture Notes in Computer Science 9619. p.63-81(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Enabling Key Migration Between Non-Compatible TPM Versions
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Capturing our cultural intangible textile heritage : Mocap and craft technology
2016) International Conference on Digital Heritage, EuroMed 2016 In Lecture Notes in Computer Science 100059. p.10-15(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Accurate and versatile automation of industrial kitting operations with SkiROS
2016) 17th Annual Conference Towards Autonomous Robotic Systems (TAROS), 2016 In Lecture Notes in Computer Science 9717. p.255-268(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Breast Imaging. : 13th International Workshop, IWDM 2016 Malmö, Sweden, June 19-22, 2016, Proceedings
(2016) 13th International Workshop on Breast Imaging, IWDM 2016 In Lecture Notes in Computer Science 9699.
- Book/Report › Conference proceeding (editor)
-
Mark
Trade-offs between time and memory in a tighter model of CDCL SAT solvers
2016) 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 In Lecture Notes in Computer Science 9710. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Brain tumor segmentation using a generative model with an RBM prior on tumor shape
2016) 1st International Workshop on Brainlesion, Brainles 2015 Held in Conjunction with International Conference on Medical Image Computing for Computer-Assisted Intervention, MICCAI 2015 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9556. p.168-180(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2015
-
Mark
A Case Study Evaluation of the Guideline-Supported QUPER Model for Elicitation of Quality Requirements
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Bayesian Network for Probabilistic Reasoning and Imputation of Missing Risk Factors in Type 2 Diabetes
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
From Learning Companions to Testing Companions Experience with a Teachable Agent Motivates Students' Performance on Summative Tests
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visual Cryptography and Obfuscation: A Use-Case for Decrypting and Deobfuscating Information using Augmented Reality
2015) 1st Workshop on Wearable Security and Privacy, Financial Crypto In Lecture Notes in Computer Science 8976. p.261-273(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Spotting Trees with Few Leaves
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
No Child Behind nor Singled Out? - Adaptive Instruction Combined with Inclusive Pedagogy in Early Math Software
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Relationship Between Working Memory Capacity and Students' Behaviour in a Teachable Agent-Based Software
2015) The 17th International Conferenece on Artificial Intelligence in Education (AIED 2015) In Lecture Notes in Computer Science 9112. p.670-673(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Usage of Finance Information Systems in Developing Countries: Identifying Factors During Implementation that Impact Use
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Left and Right Atrial Contribution to the P-wave in Realistic Computational Models
2015) 8th International Conference on Functional Imaging and Modeling of the Heart(FIMH) 9126. p.439-447(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Parity of Set Systems under Random Restrictions with Applications to Exponential Time Problems
2015) The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) 9134. p.231-242(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Democratic Tone Mapping Using Optimal K-means Clustering
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Virtual Blindness - A Choice Blindness Experiment with a Virtual Experimenter
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Regularizing Image Intensity Transformations Using the Wasserstein Metric
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bayesian Formulation of Gradient Orientation Matching
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computing at School in Sweden - Experiences from Introducing Computer Science within Existing Subjects
2015) 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives 9378. p.118-130(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Coded-BKW: Solving LWE Using Lattice Codes.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Convex Envelopes for Low Rank Approximation
2015) 10th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR), 2015 8932. p.1-14(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Minimal Solution to Relative Pose with Unknown Focal Length and Radial Distortion
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automatic Estimation of Web Bloggers’ Age Using Regression Models
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Gender Classification of Web Authors Using Feature Selection and Language Models
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Sociolinguistic Inspired Features for Gender Classification of Web Authors
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Computer vision systems : 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
(2015) 10th International Conference on Computer Vision Systems, ICVS 2015 In Lecture Notes in Computer Science 9163.
- Book/Report › Conference proceeding (editor)
-
Mark
Comparative evaluation of 3D pose estimation of industrial objects in RGB pointclouds
2015) 10th International Conference on Computer Vision Systems, ICVS 2015 In Lecture Notes in Computer Science 9163. p.329-342(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2014
-
Mark
Introducing a challenging teachable agent
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
3D Rectangulations and Geometric Matrix Multiplication
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fast Witness Extraction using a Decision Oracle
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximation Algorithms for the Geometric Firefighter and Budget Fence Problems.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficiently Correcting Matrix Products
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Rank Minimization with Structured Data Patterns
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clearing Connections by Few Agents
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pristine Perspectives on Logic, Language and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
Colinet, Margot ; Katrenko, Sophia and Rendsvig, Rasmus Kraemmer LU (2014) In Lecture Notes in Computer Science 8607.
- Book/Report › Anthology (editor)
-
Mark
Steps towards a Challenging Teachable Agent
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Simple Iterative Heuristics for Correlation Clustering
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Shortest Two Disjoint Paths in Polynomial Time
2014) Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014 8572. p.211-222(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tractable and Reliable Registration of 2D Point Sets
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A coalgebraic view of characteristic formulas in equational modal fixed point logic
2014) LNCS 8446.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Minimal Solvers for Unsynchronized TDOA Sensor Network Calibration
2014) 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS 2013) p.95-110(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On infrastructure for facilitation of inner source in small development teams
2014) The 15th International Conference of Product Focused Software Development and Process Improvement (Profes) 8892. p.149-163(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
2014) 8607.(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding