735 search results - page 106 / 147 » A Mechanization of Phylogenetic Trees |
131
click to vote
ESANN
2008
15 years 7 months ago
2008
Recent papers by D. Chklovskii and E.M. Izhikevich suggest that wiring costs may play a significant role in the physical layout and function of neuronal structures. About eighty ye...
178
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
211
click to vote
ADHOC
2010
15 years 1 months ago
2010
In this paper, we investigate the low coverage problem of efficient broadcast protocols in wireless ad hoc networks with realistic physical layer models. To minimize energy consum...
201
click to vote
MOBIHOC
2012
ACM
13 years 8 months ago
2012
ACM
A key feature of wireless communications is the spatial reuse. However, the spatial aspect is not yet well understood for the purpose of designing efficient spectrum sharing mecha...
182
click to vote
ICDE
2006
IEEE
16 years 4 days ago
2006
IEEE
The advances of video technology and video-related applications demand appropriate video semantic models for representing video data and their semantics, and supporting powerful s...