4835 search results - page 731 / 967 » Intelligent Selection Tools |
165
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
One of the main hurdles towards a wide endorsement of ontologies is the high cost of constructing them. Reuse of existing ontologies offers a much cheaper alternative than buildin...
178
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper proposes a novel approach to integrate heterogeneous data in P2P networks. The approach includes a tool for building P2P semantic link networks, mechanisms for peer sch...
186
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
177
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
At Crypto'07, Goyal introduced the concept of Accountable Authority Identity-Based Encryption as a convenient tool to reduce the amount of trust in authorities in Identity-Bas...
144
click to vote
MOBIHOC
2009
ACM
16 years 7 months ago
2009
ACM
Sectorized antennas provide an attractive solution to increase wireless network capacity through higher spatial reuse. Despite their increasing popularity, the real-world performa...