Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Update Operators for Inconsistent Query Answering: A New Point of View

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Multi-Stage Approach for 3D Teeth Segmentation From Dentition Surfaces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Spatial Regularization of Functional Connectivity Using High-Dimensional Markov Random Fields

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Sparse Bayesian Learning Algorithm for Longitudinal Image Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A Formal Semantics for Isorecursive and Equirecursive State Abstractions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Formal Verification of a Vehicle-To-Vehicle (V2V) Messaging System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Attributed Graph Matching for Image-Features Association Using SIFT Descriptors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

An Evolutionary Algorithm to Generate Real Urban Traffic Flows

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Recent Memory and Performance Improvements in Octopus Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy