201 – 300 of 523
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2014
-
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
Using TPM Secure Storage in Trusted High Availability Systems
(
- 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
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
-
Mark
Classical conditioning in social robots
2014) 6th International Conference on Social Robotics, ICSR 2014 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8755. p.279-289(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the Leakage of Information in Biometric Authentication
2014) 15th International Conference on Cryptology in India, INDOCRYPT 2014 In Lecture Notes in Computer Science 8885. p.265-280(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Long Proofs of (Seemingly) Simple Formulas
2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.121-137(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A (biased) proof complexity survey for SAT practitioners
2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.1-6(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2013
-
Mark
Improved Object Detection and Pose Using Part-Based Models
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
CopyMe3D: Scanning and Printing Persons in 3D
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Circular Higher-order Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Detecting and Counting Small Pattern Graphs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Challenges in Flexible Safety-Critical Software Development -- An Industrial Qualitative Survey
2013) Product-Focused Software Process Improvement. 14th International Conference, PROFES 2013 7983. p.283-297(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Simultaneous Fusion Moves for 3D-label Stereo
2013) Energy Minimization Methods in Computer Vision and Pattern Recognition, 9th International Conference, EMMCVPR 2013 Lund, Sweden, August 19-21, 2013 8081. p.80-93(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Structure from Motion Estimation with Positional Cues
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Simultaneous Multiple Rotation Averaging using Lagrangian Duality
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Risk Identification on the Interface Between Business Case and Requirements
2013) International Workshop on Requirements Engineering: Foundation for Software Quality, 2013 7830. p.253-268(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Interpreting Robot Pointing Behavior
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fast and accurate unknown object segmentation for robotic systems
2013) 9th International Symposium on Advances in Visual Computing, ISVC 2013 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8034 LNCS(PART 2). p.318-327(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards an understanding of polynomial calculus : New separations and lower bounds (extended abstract)
2013) 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013 In Lecture Notes in Computer Science 7965(PART 1). p.437-448(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2012
-
Mark
Covariance Propagation and Next Best View Planning for 3D Reconstruction
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Numerically Stable Optimization of Polynomial Solvers for Minimal Problems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Extracting Data from WSNs: A Service-Oriented Approach
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Tighter Relaxations for Higher-Order Models based on Generalized Roof Duality
2012) ECCV 2012 Workshop on Higher-Order Models and Global Constraints in Computer Vision 7585. p.273-282(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exact and approximation algorithms for geometric and capacitated set cover problems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Modeling the Effects of Project Management Strategies on Long-Term Product Knowledge
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Combinatorial Algorithm for All-Pairs Shortest Paths in Directed Vertex-Weighted Graphs with Applications to Disc Graphs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Robust Fitting for Multiple View Geometry
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Drawing Planar Graphs on Points Inside a Polygon
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fostering and Sustaining Innovation in a Fast Growing Agile Company
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Guiding Tourists through Haptic Interaction: Vibration Feedback in the Lund Time Machine
2012) Haptics: Perception, Devices, Mobility, and Communication 8th International Conference, EuroHaptics 2012 7283. p.157-162(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Advances in Cryptology--EUROCRYPT 2012: 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques
- Book/Report › Anthology (editor)
-
Mark
Collaborative Resolution of Requirements Mismatches When Adopting Open Source Components
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On The Distribution of Linear Biases: Three Instructive Examples
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A new version of McEliece PKC based on convolutional codes
2012) International Conference on Information and Communications Security In Lecture Notes in Computer Science 7618. p.461-470(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Some instant- and practical-time related-key attacks on KTANTAN32/48/64
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Flow Counting Using Realboosted Multi-sized Window Detectors
2012) 3rd IEEE International Workshop on Analysis and Retrieval of Tracked Events and Motion in Imagery Streams (ARTEMIS 2012) In Lecture notes in computer science 7585. p.193-202(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Transparent neural networks : integrating concept formation and reasoning
2012) 5th International Conference on Artificial General Intelligence In Lecture Notes in Computer Science 7716. p.302-311(
- 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
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
-
Mark
Automatic Compartment Modelling and Segmentation for Dynamical Renal Scintigraphies
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Service Orienting the Swedish Vaccination Recommendation Activity with the Business Rules Centric Digital Service VacSam
2011) Sixth International Conference on Design Science Research in Information Systems and Technology 6629. p.376-386(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Optimal View Path Planning for Visual SLAM
(
- 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
Scaling up requirements engineering - exploring the challenges of increasing size and complexity in market-driven software development
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Optimization for Multi-Region Segmentation of Cardiac MRI
2011) MICCAI Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges 2011 7085. p.129-138(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Usage of Open Source in Commercial Software Product Development - Findings from a Focus Group Meeting
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Optimizing Visual Vocabularies Using Soft Assignment Entropies
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Triangulating a Plane
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Comparative Evaluation of JavaScript Execution Behavior
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Metacompiling OWL Ontologies
2011) SLE'11: 4th International Conference on Software Language Engineering In Lecture Notes in Computer Science 6940. p.354-366(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Distributed constraint programming with agents
2011) International Conference on Adaptive and Intelligent Systems (ICAIS 2011) In Lecture notes in computer science 6943. p.320-331(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A comparative evaluation of JavaScript execution behavior
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Cross-Border Extended Collective Licensing: A Solution to Online Dissemination of Europe’s Cultural Heritage?
2011) International Conference on Theory and Practice of Digital Libraries In Lecture Notes in Computer Science p.501-501(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A note on fast algebraic attacks and higher order nonlinearities
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
On equivalence classes of Boolean functions
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
On minimal unsatisfiability and time-space trade-offs for k-DNF resolution
2011) 38th International Colloquium on Automata, Languages and Programming, ICALP 2011 In Lecture Notes in Computer Science 6755(PART 1). p.642-653(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2010
-
Mark
A Maturity Model for IT Dependability in Emergency Management
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Harness Mobility: Managing the Off-Task Property
2010) 5th International Conference on Design Science Research in Informatin Systems and Technology 6105. p.258-269(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Application of re-estimation in re-planning of software product releases
2010) ICSP 2010 - International Conference on Software Process, July 08-09 In Lecture Notes in Computer Science 6195. p.260-272(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Energy dissipation reduction of a cardiac event detector in the sub-Vt domain by architectural folding
2010) 19th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2009 5953. p.347-356(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automatic learning of discourse relations in Swedish using cue phrases
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software process simulation modeling: an extended systematic review
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Applications of a generic work-test-rework component for software process simulation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Conjugate Gradient Bundle Adjustment
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Invitation to algorithmic uses of inclusion–exclusion
2010) 38th International Colloquium on Automata, Languages and Programming (ICALP 2011) 6756. p.42-59(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On traffic domination in communication networks (invited paper)
2010) Performance evaluation of computer and communication systems: milestones and future challenges 6821. p.191-202(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SimSWE – a library of reusable components for software process simulation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Greedy distinguishers and nonrandomness detectors
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Influence of Angle Size in Navigation Applications Using Pointing Gestures
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A qualitative survey of regression testing practices
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Challenges in aligning requirements engineering and verification in a large-scale industrial context
2010) 16th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2010) 6182. p.128-142(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exponential time complexity of the permanent and the Tutte polynomial
2010) 37th International Colloquium on Automata, Languages and Programming (ICALP 2010) In Lecture Notes in Computer Science 6198. p.426-437(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Four-dimensional variational assimilation of atmospheric chemical data - Application to regional modelling of air quality
2010) 7th International Conference on Large-Scale Scientific Computations, LSSC 2009 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5910. p.214-222(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Natural and flexible error recovery for generated parsers
2010) International Conference on Software Language Engineering, 2009 In Lecture Notes in Computer Science 5969. p.204-223(
- Chapter in Book/Report/Conference proceeding › Book chapter
- 2009
-
Mark
Towards the Era of Mixed Reality: Accessibility Meets Three Waves of HCI
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Constraint-driven identification of application specific instructions in the DURASE system
2009) SAMOS IX: International Workshop on Systems, Architectures, Modeling and Simulation 5657. p.194-203(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quality requirements in practice: an interview study in requirements engineering for embedded systems
2009) Working Conference on Requirements Engineering - Foundations for Software Quality, 2009 5512. p.218-232(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Architecting and Coordinating Thousands of Requirements - An Industrial Case Study
2009) Working Conference on Requirements Engineering - Foundations for Software Quality, 2009 5512. p.118-123(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Practical scope recovery using bridge parsing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploring User Requirements for Non-visual Mobile Navigation Systems
2009) Interact 2009, 12th IFIP International Conference on Human-Computer Interaction 5726. p.754-757(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Counting paths and packings in halves
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Requirements for Practical Model Merge - An Industrial Perspective
2009) 12th International Conference on Model Driven Engineering Languages and Systems 5795. p.167-180(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Improving the rainbow attack by reusing colours
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Globally Optimal Least Squares Solutions for Quasiconvex 1D Vision Problems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Behavior Modeling by Neural Networks
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Application of Human Modelling in Health Care Industry
2009) 2nd International Conference on Digital Human Modeling held at the HCI International 2009 5620. p.521-530(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A fast output-sensitive algorithm for Boolean matrix multiplication
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Convex Approach to Low Rank Matrix Approximation with Missing Data
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Joint Random Sample Consensus and Multiple Motion Models for Robust Video Tracking
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Camera Resectioning from a Box
2009) Scandinavian Conferences on Image Analysis(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding