2496 search results - page 276 / 500 » On covering by translates of a set |
162
click to vote
DATE
2005
IEEE
16 years 7 days ago
2005
IEEE
Increasing reuse opportunities is a well-known problem for software designers as well as for hardware designers. Nonetheless, current software and hardware engineering practices h...
161
click to vote
ISCA
2005
IEEE
16 years 7 days ago
2005
IEEE
As processor speeds increase and memory latency becomes more critical, intelligent design and management of secondary caches becomes increasingly important. The efficiency of curr...
138
Voted
LCN
2005
IEEE
16 years 6 days ago
2005
IEEE
Network Address Translation (NAT) is often used in routers that connect home and small-office networks to the Internet. Unfortunately, NAT may not interoperate well with many pro...
185
click to vote
CIVR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Geospatial information analysts are interested in spatial configurations of objects in satellite imagery and, more importantly, the ability to search a large-scale datab...
163
click to vote
CSL
2005
Springer
16 years 5 days ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...