Sciweavers

1997 search results - page 362 / 400
» Facial feature extraction using topological methods
Sort
View
CORR
2010
Springer
162views Education» more  CORR 2010»
13 years 8 months ago
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
Silvio Ghilardi, Silvio Ranise
TVCG
2011
188views more  TVCG 2011»
13 years 4 months ago
Data-Parallel Octrees for Surface Reconstruction
—We present the first parallel surface reconstruction algorithm that runs entirely on the GPU. Like existing implicit surface reconstruction methods, our algorithm first builds...
Kun Zhou, Minmin Gong, Xin Huang, Baining Guo
ACL
2000
13 years 11 months ago
Automatic Labeling of Semantic Roles
e, the system labels constituents with either abstract semantic roles such as AGENT or PATIENT, or more domain-specific semantic roles such as SPEAKER, MESSAGE, and TOPIC. The syst...
Daniel Gildea, Daniel Jurafsky
TASE
2008
IEEE
13 years 9 months ago
An Intelligent Online Monitoring and Diagnostic System for Manufacturing Automation
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
Ming Ge, Yangsheng Xu, Ruxu Du
ICIP
2005
IEEE
14 years 11 months ago
Comparison of invariant descriptors for object recognition
This paper deals with the performance evaluation of three object invariant descriptors : Hu moments, Zernike moments and Fourier-Mellin descriptors. Experiments are conducted on a...
Anant Choksuriwong, Bruno Emile, Hélè...