Sciweavers

153 search results - page 7 / 31

» entcs 2002

69

ENTCS
2002

51views more ENTCS 2002»

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

15 years 3 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 »

92

ENTCS
2002

58views more ENTCS 2002»

Prefix and Projection onto State in Duration Calculus

15 years 3 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 »

120

ENTCS
2002

91views more ENTCS 2002»

The Grammar Deployment Kit - System Demonstration

15 years 3 months ago

The Grammar Deployment Kit - System Demonstration

Download www.cs.vu.nl

Jan Kort, Ralf Lämmel, Chris Verhoef

claim paper

Read More »

76

ENTCS
2002

58views more ENTCS 2002»

Computability of Partial Delaunay Triangulation and Voronoi Diagram

15 years 3 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 »

105

Voted

ENTCS
2002

69views more ENTCS 2002»

Modular Synthesis of Timed Circuits using Partial Order Reduction

15 years 3 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 »