221 – 230 of 553
- show: 10
- |
- 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
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
Simple Iterative Heuristics for Correlation Clustering
- 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
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
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
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
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
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
