Sciweavers

153 search results - page 7 / 31

» entcs 2002

35

ENTCS
2002

51views more ENTCS 2002»

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

14 years 10 months ago

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

Download users.dimi.uniud.it

Agostino Dovier, Matteo Burato, Federico Fogolari

claim paper

Read More »

58

ENTCS
2002

58views more ENTCS 2002»

Prefix and Projection onto State in Duration Calculus

14 years 10 months ago

Prefix and Projection onto State in Duration Calculus

Download www.math.bas.bg

Dimitar P. Guelev, Dang Van Hung

claim paper

Read More »

74

ENTCS
2002

91views more ENTCS 2002»

The Grammar Deployment Kit - System Demonstration

14 years 10 months ago

The Grammar Deployment Kit - System Demonstration

Download www.cs.vu.nl

Jan Kort, Ralf Lämmel, Chris Verhoef

claim paper

Read More »

45

ENTCS
2002

58views more ENTCS 2002»

Computability of Partial Delaunay Triangulation and Voronoi Diagram

14 years 10 months ago

Computability of Partial Delaunay Triangulation and Voronoi Diagram

Download www.doc.ic.ac.uk

Ali Asghar Khanban, Abbas Edalat, André Lie...

claim paper

Read More »

66

ENTCS
2002

69views more ENTCS 2002»

Modular Synthesis of Timed Circuits using Partial Order Reduction

14 years 10 months ago

Modular Synthesis of Timed Circuits using Partial Order Reduction

Download www.async.ece.utah.edu

Eric Mercer, Chris J. Myers, Tomohiro Yoneda

claim paper

Read More »

« Prev « First page 7 / 31 Last » Next »