Sciweavers

1419 search results - page 106 / 284
» Analysis of Summarization Evaluation Experiments
Sort
View
CAV
2007
Springer
114views Hardware» more  CAV 2007»
15 years 1 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
GLOBECOM
2008
IEEE
15 years 4 months ago
Performance Metric Sensitivity Computation for Optimization and Trade-Off Analysis in Wireless Networks
Abstract—We develop and evaluate a new method for estimating and optimizing various performance metrics for multihop wireless networks, including MANETs. We introduce an approxim...
John S. Baras, Vahid Tabatabaee, George Papageorgi...
CVIU
2011
14 years 1 months ago
A comparative study of object-level spatial context techniques for semantic image analysis
Abstract—In this paper, three approaches to utilizing objectlevel spatial contextual information for semantic image analysis are presented and comparatively evaluated. Contextual...
Georgios Th. Papadopoulos, Carsten Saathoff, Hugo ...
MM
2004
ACM
155views Multimedia» more  MM 2004»
15 years 3 months ago
Disruption-tolerant content-aware video streaming
Communication between a pair of nodes in the network may get disrupted due to failures of links/nodes resulting in zero effective bandwidth between them during the recovery perio...
Tiecheng Liu, Srihari Nelakuditi
NETGAMES
2005
ACM
15 years 3 months ago
Analysis of factors affecting players' performance and perception in multiplayer games
In this paper we analyse different factors affecting players’ perception and performance in multiplayer games. We introduce a mean opinion score metric borrowed from the subje...
Matthias Dick, Oliver Wellnitz, Lars C. Wolf