998 search results - page 140 / 200 » From Feasible Proofs to Feasible Computations |
WCNC
2008
IEEE
14 years 4 months ago
2008
IEEE
—The application of directional antennas in wireless networks brings numerous benefits, such as increased spatial reuse and mitigated interferences. Most MAC protocols with dire...
CIDM
2007
IEEE
14 years 4 months ago
2007
IEEE
— In climate models, aerosol forcing is the major source of uncertainty in climate forcing, over the industrial period. To reduce this uncertainty, instruments on satellites have...
ISBI
2007
IEEE
14 years 4 months ago
2007
IEEE
Microtubule (MT) dynamics are traditionally analyzed from time lapse images by manual techniques that are laborious, approximate and often limited. Recently, computer vision techn...
FPL
2007
Springer
14 years 4 months ago
2007
Springer
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and di...