Sciweavers

11172 search results - page 2082 / 2235
» Testing Physical Systems
Sort
View
145
Voted
SIGCOMM
2012
ACM
13 years 6 months ago
User-level data center tomography
Measurement and inference in data centers present a set of opportunities and challenges distinct from the Internet domain. Existing toolsets may be perturbed or be mislead by issu...
Neil Alexander Twigg, Marwan Fayed, Colin Perkins,...
CVPR
2012
IEEE
13 years 6 months ago
Example-based cross-modal denoising
Widespread current cameras are part of multisensory systems with an integrated computer (smartphones). Computer vision thus starts evolving to cross-modal sensing, where vision an...
Dana Segev, Yoav Y. Schechner, Michael Elad
ACL
2012
13 years 6 months ago
Modeling Sentences in the Latent Space
Sentence Similarity is the process of computing a similarity score between two sentences. Previous sentence similarity work finds that latent semantics approaches to the problem ...
Weiwei Guo, Mona T. Diab
139
Voted
BIOINFORMATICS
2012
13 years 6 months ago
SSuMMo: rapid analysis, comparison and visualization of microbial communities
Motivation: Next-generation sequencing methods are generating increasingly massive datasets, yet still do not fully capture genetic diversity in the richest environments. To under...
Alex L. B. Leach, James P. J. Chong, Kelly R. Rede...
142
Voted
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
15 years 10 months ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
« Prev « First page 2082 / 2235 Last » Next »