Sciweavers

5459 search results - page 992 / 1092
» Context in Web Search
Sort
View
JAR
2006
99views more  JAR 2006»
13 years 10 months ago
An Integrated Approach to High Integrity Software Verification
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderi...
KAIS
2006
164views more  KAIS 2006»
13 years 10 months ago
On efficiently summarizing categorical databases
Frequent itemset mining was initially proposed and has been studied extensively in the context of association rule mining. In recent years, several studies have also extended its a...
Jianyong Wang, George Karypis
MTA
2006
218views more  MTA 2006»
13 years 10 months ago
Object-based MPEG-2 video indexing and retrieval in a collaborative environment
In this paper, an object-based video retrieval methodology for search in large, heterogeneous video collections is presented. The proposed approach employs a real-time, compressed-...
Vasileios Mezaris, Ioannis Kompatsiaris, Michael G...
PAMI
2008
137views more  PAMI 2008»
13 years 10 months ago
IRGS: Image Segmentation Using Edge Penalties and Region Growing
This paper proposes an image segmentation method named iterative region growing using semantics (IRGS), which is characterized by two aspects. First, it uses graduated increased ed...
Qiyao Yu, David A. Clausi
PR
2006
229views more  PR 2006»
13 years 10 months ago
FS_SFS: A novel feature selection method for support vector machines
In many pattern recognition applications, high-dimensional feature vectors impose a high computational cost as well as the risk of "overfitting". Feature Selection addre...
Yi Liu, Yuan F. Zheng