Sciweavers

584 search results - page 38 / 117
» On Applying Set Covering Models to Test Set Compaction
Sort
View
SMA
2010
ACM
164views Solid Modeling» more  SMA 2010»
13 years 7 months ago
Topologically guaranteed univariate solutions of underconstrained polynomial systems via no-loop and single-component tests
We present an algorithm which robustly computes the intersection curve(s) of an under-constrained piecewise polynomial system consisting of n equations with n + 1 unknowns. The so...
Michael Barton, Gershon Elber, Iddo Hanniel
ICPR
2004
IEEE
14 years 8 months ago
Skin Detection: A Bayesian Network Approach
The automated detection and tracking of humans in computer vision necessitates improved modeling of the human skin appearance. In this paper we propose a Bayesian network approach...
Ira Cohen, Nicu Sebe, Theo Gevers, Thomas S. Huang
CAIP
2007
Springer
13 years 11 months ago
Representation of Facial Features by Catmull-Rom Splines
This paper describes a technique for the representation of the 2D frontal view of faces, based on Catmull-Rom splines. It takes advantage of the a priori knowledge about the face s...
Marco Maggini, Stefano Melacci, Lorenzo Sarti
ITC
2003
IEEE
151views Hardware» more  ITC 2003»
14 years 26 days ago
Fault Collapsing via Functional Dominance
A fault fj is said to dominate another fault fi if all tests for fi detect fj . When two faults dominate each other, they are called equivalent. Dominance and equivalence relation...
Vishwani D. Agrawal, A. V. S. S. Prasad, Madhusuda...
JSS
1998
85views more  JSS 1998»
13 years 7 months ago
Comparative study and categorization of high-level petri nets
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
Vasilis C. Gerogiannis, Achilles Kameas, Panayioti...