ENTCS 2002 | Sciweavers

11

click to vote

ENTCS
2002

73views more ENTCS 2002»

A Conference Reviewing System in Mobile Maude

13 years 4 months ago

Download maude.sip.ucm.es

Francisco Durán, Alberto Verdejo

claim paper

Read More »

16

click to vote

ENTCS
2002

101views more ENTCS 2002»

Hypergeometric Functions in Exact Geometric Computation

13 years 4 months ago

Download www.cs.nyu.edu

Most problems in computational geometry are algebraic. A general approach to address nonrobustness in such problems is Exact Geometric Computation (EGC). There are now general lib...

Zilin Du, Maria Eleftheriou, José E. Moreir...

claim paper

Read More »

11

click to vote

ENTCS
2002

77views more ENTCS 2002»

Trivial Reals

13 years 4 months ago

Download www.math.uchicago.edu

Solovay showed that there are noncomputable reals such that H( n) H(1n) + O(1), where H is prefix-free Kolmogorov complexity. Such H-trivial reals are interesting due to the conn...

Rodney G. Downey, Denis R. Hirschfeldt, Andr&eacut...

claim paper

Read More »

5

click to vote

ENTCS
2002

51views more ENTCS 2002»

Using Secondary Structure Information for Protein Folding in CLP(FD)

13 years 4 months ago

Download users.dimi.uniud.it

Agostino Dovier, Matteo Burato, Federico Fogolari

claim paper

Read More »

8

click to vote

ENTCS
2002

54views more ENTCS 2002»

An Open Visualization Framework for Metamodel-Based Modeling Languages

13 years 4 months ago

Download tfs.cs.tu-berlin.de

Péter Domokos, Dániel Varró

claim paper

Read More »

9

click to vote

ENTCS
2002

98views more ENTCS 2002»

Building Interpreters with Rewriting Strategies

13 years 4 months ago

Download www.cs.uu.nl

Eelco Dolstra, Eelco Visser

claim paper

Read More »

9

click to vote

ENTCS
2002

95views more ENTCS 2002»

A Proof Dedicated Meta-Language

13 years 4 months ago

Download www.cs.cmu.edu

We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...

David Delahaye

claim paper

Read More »

5

click to vote

ENTCS
2002

63views more ENTCS 2002»

A Category-Theoretic Approach to Social Network Analysis

13 years 4 months ago

Download members.ozemail.com.au

Anthony H. Dekker

claim paper

Read More »

8

click to vote

ENTCS
2002

139views more ENTCS 2002»

Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM

13 years 4 months ago

Download www.prismmodelchecker.org

We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...

Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman

claim paper

Read More »

13

click to vote

ENTCS
2002

93views more ENTCS 2002»

Matroids from modules

13 years 4 months ago

Download www.cs.nott.ac.uk

The aim of this work is to show that (oriented) matroid methods can be applied to many discrete geometries, namely those based on modules over integral (ordered) domains. The tric...

Nils Anders Danielsson, Michael B. Smyth

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers