Sciweavers

852 search results - page 26 / 171

» entcs 2010

46

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 »

75

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 »

69

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 »

63

ENTCS
2002

87views more ENTCS 2002»

Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking

14 years 10 months ago

Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking

Download www.brics.dk

M. Oliver Möller

claim paper

Read More »

44

ENTCS
2002

64views more ENTCS 2002»

States of Knowledge

14 years 10 months ago

States of Knowledge

Download www.sci.brooklyn.cuny.edu

Rohit Parikh

claim paper

Read More »

« Prev « First page 26 / 171 Last » Next »