5909 search results - page 965 / 1182 » Information Sharing Communities |
171
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
182
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
In this article we define a multimedia content analysis problem, which we call multimodal location estimation: Given a video/image/audio file, the task is to determine where it wa...
191
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Several powerful forces are gathering to make fundamental and irrevocable changes to the century-old grid. The nextgeneration grid, often called the `smart grid,' will featur...
195
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: An important problem in genomics is the automatic inference of groups of homologous proteins from pairwise sequence similarities. Several approaches have been proposed...
192
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Genome-scale metabolic reconstructions under the Constraint Based Reconstruction and Analysis (COBRA) framework are valuable tools for analyzing the metabolic capabili...