12774 search results - page 2235 / 2555 » A Framework for Proof Systems |
180
click to vote
ICDE
2006
IEEE
16 years 26 days ago
2006
IEEE
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...
154
click to vote
ICDE
2006
IEEE
16 years 26 days ago
2006
IEEE
XPORT (eXtensible Profile-driven Overlay Routing Trees) is a generic data dissemination system that supports an extensible set of data types and profiles, and an optimization fr...
196
click to vote
ICDM
2006
IEEE
16 years 26 days ago
2006
IEEE
Many information integration tasks require computing similarity between pairs of objects. Pairwise similarity computations are particularly important in record linkage systems, as...
178
Voted
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
Exploiting directional antenna technology in wireless networks has become an attractive option because of the potential capacity increase through spatial reuse. Such development a...
172
click to vote
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
1 In multi-site distributed education (MSDE), video streams from multiple sites are available. To best utilize the limited screen space at each site, we develop a customizable, aut...