69 search results - page 3 / 14 » The Ackermann Award 2008 |
108
Voted
TOG
2012
13 years 3 months ago
2012
Algebra I, II Complex Variables I, II Analysis I, II Awards, Scholarships, Fellowships Received • Back Cover Image, Proceedings of ACM SIGGRAPH, 2011 • New York University Henr...
99
Voted
JANCL
2008
15 years 24 days ago
2008
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
FASE
2010
Springer
15 years 7 months ago
2010
Springer
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...
83
Voted
OSDI
2008
ACM
16 years 1 months ago
2008
ACM
SALSA examines system logs to derive state-machine views of the sytem's execution, along with control-flow, data-flow models and related statistics. Exploiting SALSA's d...
106
Voted
CCCG
2008
15 years 2 months ago
2008
In this paper we showed that a p( 2)-center location problem in general networks can be transformed to the well known Klee's measure problem [5]. This resulted in an improved...