8874 search results - page 1605 / 1775 » A New Implementation of Automath |
152
Voted
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
—The vision of the Semantic Web has brought about new challenges at the intersection of web research and data management. One fundamental research issue at this intersection is t...
116
Voted
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
While it is well known that network coding achieves optimal flow rates in multicast sessions, its potential for practical use has remained to be a question, due to its high compu...
157
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
116
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
Symmetric-ISA (instruction set architecture) asymmetricperformance multicore processors were shown to deliver higher performance per watt and area for codes with diverse architect...
141
Voted
EUROGRAPHICS
2010
Eurographics
16 years 1 months ago
2010
Eurographics
We present a new technique to implement operators that modify the topology of polygonal meshes at intersections and self-intersections. Depending on the modification strategy, th...