Sciweavers

474 search results - page 72 / 95
» Empirical Evaluation of Techniques for Measuring Available B...
Sort
View
SPIN
2007
Springer
14 years 4 months ago
Generating Counter-Examples Through Randomized Guided Search
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
Neha Rungta, Eric G. Mercer
ICDE
2010
IEEE
145views Database» more  ICDE 2010»
14 years 3 months ago
MASS: a multi-facet domain-specific influential blogger mining system
With rapid development of web 2.0 technology and e-business, bloggers play significant roles in the blogosphere as well as the external world. In particular, influential bloggers c...
Yichuan Cai, Yi Chen
EMNLP
2004
14 years 4 days ago
Monolingual Machine Translation for Paraphrase Generation
We apply statistical machine translation (SMT) tools to generate novel paraphrases of input sentences in the same language. The system is trained on large volumes of sentence pair...
Chris Quirk, Chris Brockett, William B. Dolan
ISBI
2011
IEEE
13 years 2 months ago
Quantitative comparison of tracking methods for motion analysis in tagged MRI
Myocardial tagging in magnetic resonance imaging (MRI) has shown great potential for noninvasive measurement of the motion of a beating heart. A critical issue in exploiting this ...
Ihor Smal, Noemí Carranza-Herrezuelo, Stefa...
KBSE
2005
IEEE
14 years 4 months ago
AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
William G. J. Halfond, Alessandro Orso