151 – 200 of 517
- show: 50
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2016
-
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
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
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
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
Spotting Trees with Few Leaves
(
- 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
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
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
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
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
Democratic Tone Mapping Using Optimal K-means Clustering
(
- 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
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
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
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
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
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2014
-
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
Fast Witness Extraction using a Decision Oracle
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Rank Minimization with Structured Data Patterns
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Steps towards a Challenging Teachable Agent
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Clearing Connections by Few Agents
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
2014) 8607.(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Ascribed Gender and Characteristics of a Visually Androgynous 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
Listing Triangles
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Solving LPN Using Covering Codes
2014) 20th Annual International Conference on the Theory and Application of Cryptology and Information Security (Asiacrypt) 8873. p.1-20(
- 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
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
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
eavesROP: Listening for ROP Payloads in Data Streams
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using TPM Secure Storage in Trusted High Availability Systems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Communicating unknown objects to robots through pointing gestures
2014) 15th Annual Conference Towards Autonomous Robotic Systems (TAROS), 2014 In Lecture Notes in Computer Science 8717. p.209-220(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding