Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Tutorial Notes: Reasoning About Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Corresponding Articular Cartilage Thickness Measurements in the Knee Joint by Modelling the Underlying Bone

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Applying Interchangeability Techniques to the Distributed Breakout Algorithm

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Text Categorization Using Transductive Boosting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Resource Bound Certification for a Tail-Recursive Virtual Machine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Predictive Discretization During Model Selection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Synopsis Alignment: Importing External Text Information for Multi-Model Movie Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Statistical Framework for Partial Volume Segmentation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Bidimensional Parameters and Local Treewidth

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Software Technologies for Embedded and Ubiquitous Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy