4266 search results - page 638 / 854 » The container loading problem |
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In OFDMA systems, channel quality information (CQI) feedback is used to determine the modulation and coding level of a mobile station (MS). When the MS uses diversity, it trans...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
The Sensor Internet provides access to sensor services by connecting sensor nodes to the Internet infrastructure. To achieve this, current solutions rely on fixed access points or ...
ACSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Jails, Sandboxes and other isolation mechanisms limit the damage from untrusted programs by reducing a process’s privileges to the minimum. Sandboxing is designed to thwart such...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we target on the problem of personal name disambiguation in search results returned by personal name queries. Usually, a personal name refers to several people. The...