Sciweavers

2205 search results - page 77 / 441
» Mutation Operators for Specifications
Sort
View
MMM
2009
Springer
120views Multimedia» more  MMM 2009»
14 years 6 months ago
Multimedia Evidence Fusion for Video Concept Detection via OWA Operator
Abstract. We present a novel multi-modal evidence fusion method for highlevel feature (HLF) detection in videos. The uni-modal features, such as color histogram, transcript texts, ...
Ming Li, Yantao Zheng, Shouxun Lin, Yong-Dong Zhan...
BIRTHDAY
2004
Springer
14 years 26 days ago
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
Ranko Lazic, Thomas Christopher Newcomb, A. W. Ros...
CLUSTER
2006
IEEE
14 years 25 days ago
Modeling Network Contention Effects on All-to-All Operations
One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient complete exchange ...
Luiz Angelo Steffenel
AVI
2004
13 years 10 months ago
Shrinking window operations for expanding display space
Recent research and technology advances indicate that multiple monitor systems are likely to become commonplace in the near future. An important property of such systems is that t...
Dugald Ralph Hutchings, John T. Stasko
ENTCS
2008
120views more  ENTCS 2008»
13 years 9 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke