Sciweavers

4242 search results - page 668 / 849
» An Event Spacing Experiment
Sort
View
KBSE
2000
IEEE
14 years 2 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
TOOLS
2000
IEEE
14 years 2 months ago
Generic Components to Foster Reuse
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
Lothar Baum, Martin Becker
DMKD
2000
ACM
165views Data Mining» more  DMKD 2000»
14 years 2 months ago
On Mining Web Access Logs
The proliferation of information on the world wide web has made the personalization of this information space a necessity. One possible approach to web personalization is to mine ...
Anupam Joshi, Raghu Krishnapuram
MM
2000
ACM
98views Multimedia» more  MM 2000»
14 years 2 months ago
Key-frame extraction and shot retrieval using nearest feature line (NFL)
Query by key frame or video example is a convenient and often effective way to search in video database. This paper proposes a new approach to support such searches. The main cont...
Li Zhao, Wei Qi, Stan Z. Li, Shi-Qiang Yang, HongJ...
ICPR
2010
IEEE
14 years 2 months ago
Large Margin Classifier Based on Affine Hulls
This paper introduces a geometrically inspired large-margin classifier that can be a better alternative to the Support Vector Machines (SVMs) for the classification problems with ...
Hakan Cevikalp, Hasan Serhan Yavuz