1773 search results - page 330 / 355 » The Visibility-Voronoi Complex and Its Applications |
118
click to vote
STOC
2009
ACM
16 years 2 months ago
2009
ACM
d Abstract] Virginia Vassilevska School of Mathematics Institute for Advanced Study Princeton, NJ 08540 USA virgi@math.ias.edu Ryan Williams School of Mathematics Institute for Adv...
168
click to vote
ICSE
2007
IEEE-ACM
15 years 8 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
128
click to vote
DAC
1999
ACM
15 years 6 months ago
1999
ACM
ion model or flexible PCB solutions cannot offer a valid solution for the next millinium SoCs . James G. Dougherty, Integrated Systems Silicon LTD, Belfast, Northern Ireland ISS an...
103
click to vote
ESANN
2008
15 years 3 months ago
2008
While it is well-known that model can enhance the control performance in terms of precision or energy efficiency, the practical application has often been limited by the complexiti...
108
click to vote
DBSEC
2003
15 years 3 months ago
2003
As a platform-independent solution, XML is going to be used in many environments such as application integration and Web Services. Security of XML instance is a basic problem, esp...