Unsupervised named-entity extraction from the Web: An experimental study Fulltext Access 44 Pages 2005
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class Fulltext Access 44 Pages 2005
Quantum branching programs and space-bounded nonuniform quantum complexity Fulltext Access 49 Pages 2005
A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks Fulltext Access 50 Pages 2005
Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe Fulltext Access 50 Pages 2005
Adding symbolic information to picture models: definitions and properties Fulltext Access 54 Pages 2005
Weighted pushdown systems and their application to interprocedural dataflow analysis Fulltext Access 58 Pages 2005
Efficient parallel factorization and solution of structured and unstructured linear systems Fulltext Access 58 Pages 2005
Towards a practical theory of reformulation for reasoning about physical systems Fulltext Access 60 Pages 2005
Iteration and coiteration schemes for higher-order and nested datatypes Fulltext Access 64 Pages 2005
Tree automata with one memory set constraints and cryptographic protocols Fulltext Access 72 Pages 2005
Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems Fulltext Access 73 Pages 2005
A theoretical framework on proactive information exchange in agent teamwork Fulltext Access 75 Pages 2005
OpenMOLE, a workflow engine specifically tailored for the distributed exploration of simulation models Fulltext Access 10 Pages 1990
On biological validity indices for soft clustering algorithms for gene expression data Fulltext Access 11 Pages 1979