8874 search results - page 135 / 1775 » A New Implementation of Automath |
155
click to vote
DLOG
2003
15 years 5 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
161
click to vote
CASES
2010
ACM
15 years 1 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...
135
Voted
HPCA
2009
IEEE
16 years 4 months ago
2009
IEEE
Heterogeneous multicores, such as Cell BE processors and GPGPUs, typically do not have caches for their accelerator cores because coherence traffic, cache misses, and latencies fr...
125
Voted
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
In the era of the Internet, more and more privacy-sensitive data is published online. Even though this kind of data are published with sensitive attributes such as name and social ...
130
click to vote
ISPD
2004
ACM
15 years 9 months ago
2004
ACM
Automated cell placement is a critical problem in VLSI physical design. New analytical placement methods that simultaneously spread cells and optimize wirelength have recently rec...