Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

TTree: Tree-Based State Generalization With Temporally Abstract Actions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

An Effective Path Selection Method in Multiple Care-Of Addresses MIPv6 With Parallel Delay Measurement Technique

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Agent Programming in Ciao Prolog

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Deriving Mixed Evaluation From Standard Evaluation for a Simple Functional Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

A Hierarchical Classification Ant Colony Algorithm for Predicting Gene Ontology Terms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

An Image Overlay System With Enhanced Reality for Percutaneous Therapy Performed Inside CT Scanner

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Ε-Net Approach to Sensor K-Coverage

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Using Static Analysis to Improve Automatic Test Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy