Sciweavers

CORR
2006
Springer
93views Education» more  CORR 2006»
13 years 8 months ago
The ALVIS Format for Linguistically Annotated Documents
Adeline Nazarenko, Érick Alphonse, Julien D...
CORR
2006
Springer
92views Education» more  CORR 2006»
13 years 8 months ago
Event-based Information Extraction for the biomedical domain: the Caderige project
This paper gives an overview of the Caderige project. This project involves teams from different areas (biology, machine learning, natural language processing) in order to develop...
Érick Alphonse, Sophie Aubin, Philippe Bess...
CORR
2006
Springer
71views Education» more  CORR 2006»
13 years 8 months ago
Using NLP to build the hypertextuel network of a back-of-the-book index
Relying on the idea that back-of-the-book indexes are traditional devices for navigation through large documents, we have developed a method to build a hypertextual network that h...
Touria Aït El Mekki, Adeline Nazarenko
CORR
2006
Springer
134views Education» more  CORR 2006»
13 years 8 months ago
Max-Cut and Max-Bisection are NP-hard on unit disk graphs
We prove that the max-cut and max-bisection problems are NP-hard on unit disk graphs. We also show that -precision graphs are planar for > 1/ 2 and give a dichotomy theorem f...
Josep Díaz, Marcin Kaminski
CORR
2006
Springer
127views Education» more  CORR 2006»
13 years 8 months ago
Approximating Rate-Distortion Graphs of Individual Data: Experiments in Lossy Compression and Denoising
Classical rate-distortion theory requires knowledge of an elusive source distribution. Instead, we analyze rate-distortion properties of individual objects using the recently devel...
Steven de Rooij, Paul M. B. Vitányi
CORR
2006
Springer
83views Education» more  CORR 2006»
13 years 8 months ago
Measuring Fundamental Properties of Real-World Complex Networks
Matthieu Latapy, Clémence Magnien
CORR
2006
Springer
90views Education» more  CORR 2006»
13 years 8 months ago
The recognizability of sets of graphs is a robust property
Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the noti...
Bruno Courcelle, Pascal Weil
CORR
2006
Springer
57views Education» more  CORR 2006»
13 years 8 months ago
On Verifying Complex Properties using Symbolic Shape Analysis
Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Pod...
CORR
2006
Springer
100views Education» more  CORR 2006»
13 years 8 months ago
Using groups for investigating rewrite systems
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
Patrick Dehornoy