1982 search results - page 335 / 397 » Parametricity and dependent types |
JCNS
2007
14 years 9 months ago
2007
Brain signals such as local field potentials often display gamma-band oscillations (30–70 Hz) in a variety of cognitive tasks. These oscillatory activities possibly reflect sy...
102
click to vote
ALGORITHMICA
2000
14 years 9 months ago
2000
We study the problem of minimizing the expected cost of binary searching for data where the access cost is not fixed and depends on the last accessed element, such as data stored i...
103
click to vote
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
—With the convergence of multimedia applications and wireless communications, there is an urgent need for developing new scheduling algorithms to support real-time traffic with ...
MAGS
2010
14 years 8 months ago
2010
Abstract. Distributed cooperative applications (e.g., e-commerce) are now increasingly being designed as a set of autonomous entities, named agents, which interact and coordinate (...
123
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: The Cancer Genome Anatomy Project (CGAP) xProfiler and cDNA Digital Gene Expression Displayer (DGED) have been made available to the scientific community over a decade...