Sciweavers

10213 search results - page 394 / 2043
» An Experimental Analysis of Parallel
Sort
View
SOFSEM
2000
Springer
15 years 8 months ago
Simplified Witness Tree Arguments
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...
Thomas Schickinger, Angelika Steger
PASTE
1998
ACM
15 years 8 months ago
Efficient Composite Data Flow Analysis Applied to Concurrent Programs
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
CIVR
2010
Springer
254views Image Analysis» more  CIVR 2010»
15 years 9 months ago
Video scene analysis of interactions between humans and vehicles using event context
In this paper, we present a methodology to estimate a detailed state of a video scene involving multiple humans and vehicles. In order to annotate and retrieve videos containing a...
M. S. Ryoo, Jong Taek Lee, Jake K. Aggarwal
IADIS
2004
15 years 6 months ago
Web Page Usability Analysis Based on Vague Perceptual Concepts
Automated Web usability analysis aims at obtaining a figure of the overall usability of a Web page or site by comparing objective page measures or indicators with statistical prof...
David Palomar, Miguel-Ángel Sicilia
WWW
2006
ACM
16 years 5 months ago
An audio/video analysis mechanism for web indexing
The high availability of video streams is making necessary mechanisms for indexing such contents in the Web world. In this paper we focus on news programs and we propose a mechani...
Marco Furini, Marco Aragone