Sciweavers

12052 search results - page 21 / 2411
» compute 2010
Sort
View
55
Voted
ENTCS
2002
58views more  ENTCS 2002»
15 years 7 days ago
Computability of Partial Delaunay Triangulation and Voronoi Diagram
Ali Asghar Khanban, Abbas Edalat, André Lie...
71
Voted
ENTCS
1998
63views more  ENTCS 1998»
15 years 3 days ago
Proof theory and computational analysis
Ulrich Kohlenbach
57
Voted
ENTCS
2010
113views more  ENTCS 2010»
14 years 11 months ago
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
Pavlína Vareková, I. Vareková...
63
Voted
ICMS
2010
14 years 11 months ago
A GAP Package for Computation with Coherent Configurations
Dmitrii V. Pasechnik, Keshav Kini