3206 search results - page 373 / 642 » Functional Variant Modeling for Adaptable Functional Network... |
196
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
166
click to vote
ATMOS
2010
15 years 4 months ago
2010
Traditionally, the coordination of multiple traffic signals and the traffic assignment problem in an urban street network are considered as two separate optimization problems. How...
176
click to vote
CSB
2005
IEEE
16 years 7 days ago
2005
IEEE
High-throughput methods for detecting protein-protein interactions (PPI) have given researchers an initial global picture of protein interactions on a genomic scale. The usefulnes...
201
click to vote
MSWIM
2009
ACM
16 years 1 months ago
2009
ACM
Fairness in multihop ad hoc networks has received considerable attention in the literature. Many schemes have been proposed, which attempt to compute the “optimal” bit rates o...
145
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
Multimedia social network analysis is a research area with growing importance, in which the social network members share multimedia contents with all different purposes and analyz...