Sciweavers

2242 search results - page 51 / 449
» In Search Of An Accuracy Metric
Sort
View
SEFM
2007
IEEE
14 years 4 months ago
Hardness for Explicit State Software Model Checking Benchmarks
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
Neha Rungta, Eric G. Mercer
CCGRID
2004
IEEE
14 years 1 months ago
Search performance analysis and robust search algorithm in unstructured peer-to-peer networks
Recently Peer-to-Peer networks (P2P) have gained great attention and popularity. One key challenging aspect in a P2P resource sharing environment is an efficient searching algorit...
Tsungnan Lin, Hsinping Wang, Jianming Wang
AAAI
2008
14 years 14 hour ago
Another Look at Search-Based Drama Management
A drama manager (DM) monitors an interactive experience, such as a computer game, and intervenes to shape the global experience so it satisfies the author's expressive goals ...
Mark J. Nelson, Michael Mateas
AIRS
2010
Springer
13 years 7 months ago
Effective Time Ratio: A Measure for Web Search Engines with Document Snippets
The dominant method for evaluating search engines is the Cranfield paradigm, but the existing metrics do not consider some modern search engines features, such as document snippets...
Jing He, Baihan Shu, Xiaoming Li, Hongfei Yan
CACM
2010
161views more  CACM 2010»
13 years 8 months ago
Efficiently searching for similar images
As it becomes increasingly viable to capture, store, and share large amounts of image and video data, automatic image analysis is crucial to managing visual information. Many prob...
Kristen Grauman