Sciweavers

153 search results - page 7 / 31
» entcs 2002
Sort
View
58
Voted
ENTCS
2002
51views more  ENTCS 2002»
15 years 2 months ago
Using Secondary Structure Information for Protein Folding in CLP(FD)
Agostino Dovier, Matteo Burato, Federico Fogolari
81
Voted
ENTCS
2002
58views more  ENTCS 2002»
15 years 2 months ago
Prefix and Projection onto State in Duration Calculus
Dimitar P. Guelev, Dang Van Hung
106
Voted
ENTCS
2002
91views more  ENTCS 2002»
15 years 2 months ago
The Grammar Deployment Kit - System Demonstration
Jan Kort, Ralf Lämmel, Chris Verhoef
65
Voted
ENTCS
2002
58views more  ENTCS 2002»
15 years 2 months ago
Computability of Partial Delaunay Triangulation and Voronoi Diagram
Ali Asghar Khanban, Abbas Edalat, André Lie...
94
Voted
ENTCS
2002
69views more  ENTCS 2002»
15 years 2 months ago
Modular Synthesis of Timed Circuits using Partial Order Reduction
Eric Mercer, Chris J. Myers, Tomohiro Yoneda