Sciweavers

2638 search results - page 205 / 528
» A Framework for Automatic Debugging
Sort
View
PSIVT
2007
Springer
118views Multimedia» more  PSIVT 2007»
16 years 1 months ago
Vision-Based Guitarist Fingering Tracking Using a Bayesian Classifier and Particle Filters
This paper presents a vision-based method for tracking guitar fingerings played by guitar players from stereo cameras. We propose a novel framework for colored finger markers track...
Chutisant Kerdvibulvech, Hideo Saito
202
Voted
IAT
2006
IEEE
16 years 1 months ago
Behavior-Based Web Page Evaluation
This paper describes our efforts to factor in a user’s browsing behavior to automatically evaluate web pages that the user shows interest in, based on user browsing behaviors wh...
Ganesan Velayathan, Seiji Yamada
ICIW
2007
IEEE
15 years 10 months ago
Type-Based Static and Dynamic Website Verification
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
Jorge Coelho, Mário Florido
CASCON
2001
115views Education» more  CASCON 2001»
15 years 8 months ago
Lightweight reasoning about program correctness
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
Marsha Chechik, Wei Ding
IJCAI
2003
15 years 8 months ago
Data Clustering: Principal Components, Hopfield and Self-Aggregation Networks
We present a coherent framework for data clustering. Starting with a Hopfield network, we show the solutions for several well-motivated clustering objective functions are principa...
Chris H. Q. Ding