Sciweavers

3895 search results - page 181 / 779
» Parametric Feature Detection
Sort
View
FLOPS
2008
Springer
15 years 5 months ago
On-Demand Refinement of Dependent Types
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
Hiroshi Unno, Naoki Kobayashi
129
Voted
JMIV
2002
78views more  JMIV 2002»
15 years 3 months ago
A Deformable Template Model, with Special Reference to Elliptical Templates
This paper suggests a high-level continuous image model for planar star-shaped objects. Under this model, a planar object is a stochastic deformation of a star-shaped template. The...
Asger Hobolth, Jan Pedersen, Eva B. Vedel Jensen
JSC
2008
126views more  JSC 2008»
15 years 2 months ago
Computing singular points of plane rational curves
We compute the singular points of a plane rational curve, parametrically given, using the implicitization matrix derived from the -basis of the curve. It is shown that singularity...
Falai Chen, Wenping Wang, Yang Liu
121
Voted
ETS
2009
IEEE
128views Hardware» more  ETS 2009»
15 years 1 months ago
Algorithms for ADC Multi-site Test with Digital Input Stimulus
This paper reports two novel algorithms based on time-modulo reconstruction method intended for detection of the parametric faults in analogue-to-digital converters (ADC). In both ...
Xiaoqin Sheng, Hans G. Kerkhoff, Amir Zjajo, Guido...
108
Voted
ICIAP
2007
ACM
16 years 3 months ago
Detection and Monitoring of Passengers on a Bus by Video Surveillance
This paper presents a method to detect passengers on-board public transport vehicles with the ultimate aim of monitoring their behaviours under suspicious circumstances. The metho...
Chee Boon Chong, Mihai Lazarescu, Tele Tan