Sciweavers

2227 search results - page 150 / 446
» Evaluation Measures for TCBR Systems
Sort
View
LCTRTS
1998
Springer
15 years 10 months ago
Automatic Accurate Time-Bound Analysis for High-Level Languages
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
Yanhong A. Liu, Gustavo Gomez
CORR
2002
Springer
156views Education» more  CORR 2002»
15 years 6 months ago
Mapping the Gnutella Network: Properties of Large-Scale Peer-to-Peer Systems and Implications for System Design
Despite recent excitement generated by the peer-to-peer (P2P) paradigm and the surprisingly rapid deployment of some P2P applications, there are few quantitative evaluations of P2...
Matei Ripeanu, Ian T. Foster, Adriana Iamnitchi
TON
2012
13 years 9 months ago
On New Approaches of Assessing Network Vulnerability: Hardness and Approximation
—Society relies heavily on its networked physical infrastructure and information systems. Accurately assessing the vulnerability of these systems against disruptive events is vit...
Thang N. Dinh, Ying Xuan, My T. Thai, Panos M. Par...
NLDB
2007
Springer
16 years 17 days ago
DLSITE-1: Lexical Analysis for Solving Textual Entailment Recognition
This paper discusses the recognition of textual entailment in a text-hypothesis pair by applying a wide variety of lexical measures. We consider that the entailment phenomenon can ...
Óscar Ferrández, Daniel Micol, Rafae...
ICMCS
2006
IEEE
102views Multimedia» more  ICMCS 2006»
16 years 14 days ago
An Embedded Suggestive Interface for Making Home Videos
This paper describes a novel suggestive interface embedded in a smart camera prototype aimed at aiding home movie makers. We focus on the problem of generating shot capture sugges...
Brett Adams, Svetha Venkatesh