535 search results - page 97 / 107 » Do we need dependent types |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Information-driven networks include a large category of networking systems, where network nodes are aware of information delivered and thus can not only forward data packets but m...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
Given the abundance of cameras and LCDs in today's environment, there exists an untapped opportunity for using these devices for communication. Specifically, cameras can tune...
BMCBI
2006
13 years 7 months ago
2006
Background: Ontologies and taxonomies are among the most important computational resources for molecular biology and bioinformatics. A series of recent papers has shown that the G...
DOLAP
2010
ACM
13 years 5 months ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
GECCO
2010
Springer
14 years 11 days ago
2010
Springer
Within nature, the success of many organisms, including certain species of insects, mammals, slime molds, and bacteria, is attributed to their performance of division of labor, wh...