Search alternatives:
- Subject ("Algorithmics. Computability. Computer arithmetics") »
Loading…
Probabilistic abstraction of uncertain temporal data for multiple subjects
Get full text
Conference Proceeding
Loading…
Self-calibration of a moving zoom-lens camera by pre-calibration
Get full text
Journal Article
Conference Proceeding
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
The Barendregt Cube with Definitions and Generalised Reduction
Bloo, Roel, Kamareddine, Fairouz, Nederpelt, Rob
Published in Information and computation (01.05.1996)
Published in Information and computation (01.05.1996)
Get full text
Journal Article
Loading…
A note on Coinduction and Weak Bisimilarity for While Programs
Get full text
Journal Article
Conference Proceeding
Loading…
Loading…
Loading…
ON-LINE HANDWRITING RECOGNITION USING PHYSICS-BASED SHAPE METAMORPHOSIS
PAVLIDIS, IOANNIS, SINGH, RAHUL, PAPANIKOLOPOULOS, NIKOLAOS P.
Published in Pattern recognition (01.11.1998)
Published in Pattern recognition (01.11.1998)
Get full text
Journal Article
Loading…
Attacks on Shamir's ‘RSA for paranoids’
Gilbert, Henri, Gupta, Dipankar, Odlyzko, Andrew, Quisquater, Jean-Jacques
Published in Information processing letters (30.11.1998)
Published in Information processing letters (30.11.1998)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
Corradini, Andrea, Gadducci, Fabio
Published in RAIRO. Informatique théorique et applications (01.07.1999)
Published in RAIRO. Informatique théorique et applications (01.07.1999)
Get full text
Journal Article
Conference Proceeding
Loading…