Sciweavers

4158 search results - page 738 / 832
» A Framework for Web Science
Sort
View
NOMS
2010
IEEE
136views Communications» more  NOMS 2010»
14 years 11 months ago
Supporting System-wide Similarity Queries for networked system management
Abstract— Today’s networked systems are extensively instrumented for collecting a wealth of monitoring data. In this paper, we propose a framework called System-wide Similarity...
Songyun Duan, Hui Zhang 0002, Guofei Jiang, Xiaoqi...
RV
2010
Springer
172views Hardware» more  RV 2010»
14 years 11 months ago
Recovery Tasks: An Automated Approach to Failure Recovery
Abstract. We present a new approach for developing robust software applications that breaks dependences on the failed parts of an application’s execution to allow the rest of the...
Brian Demsky, Jin Zhou, William Montaz
104
Voted
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
14 years 11 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
SCHOLARPEDIA
2010
119views more  SCHOLARPEDIA 2010»
14 years 11 months ago
Multimedia Question Answering
With the proliferation of text and multimedia information, users are now able to find answers to almost any questions on the Web. Meanwhile, they are also bewildered by the huge a...
Tat-Seng Chua, Richang Hong, Jinhui Tang
141
Voted
TSD
2010
Springer
14 years 11 months ago
Using TectoMT as a Preprocessing Tool for Phrase-Based Statistical Machine Translation
Abstract. We present a systematic comparison of preprocessing techniques for two language pairs: English-Czech and English-Hindi. The two target languages, although both belonging ...
Daniel Zeman