Sciweavers

12052 search results - page 21 / 2411
» computer 2010
Sort
View
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...
84
Voted
ENTCS
1998
63views more  ENTCS 1998»
15 years 2 months ago
Proof theory and computational analysis
Ulrich Kohlenbach
67
Voted
ENTCS
2010
113views more  ENTCS 2010»
15 years 1 months ago
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
Pavlína Vareková, I. Vareková...
74
Voted
ICMS
2010
15 years 1 months ago
A GAP Package for Computation with Coherent Configurations
Dmitrii V. Pasechnik, Keshav Kini