Sciweavers

2938 search results - page 336 / 588
» On obfuscating point functions
Sort
View
CSJM
2008
112views more  CSJM 2008»
15 years 6 months ago
About Precise Characterization of Languages Generated by Hybrid Networks of Evolutionary Processors with One Node
A hybrid network of evolutionary processors (an HNEP) is a graph where each node is associated with an evolutionary processor (a special rewriting system), a set of words, an inpu...
Artiom Alhazov, Yurii Rogozhin
IANDC
2006
93views more  IANDC 2006»
15 years 6 months ago
Automation for interactive proof: First prototype
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
Jia Meng, Claire Quigley, Lawrence C. Paulson
IVC
2006
133views more  IVC 2006»
15 years 6 months ago
A subspace method for projective reconstruction from multiple images with missing data
In this paper, we consider the problem of projective reconstruction based on the subspace method. Unlike existing subspace methods which require that all the points are visible in...
W. K. Tang, Y. S. Hung
CSDA
2007
99views more  CSDA 2007»
15 years 6 months ago
CLUES: A non-parametric clustering method based on local shrinking
In this paper, we propose a novel non-parametric clustering method based on non-parametric local shrinking. Each data point is transformed in such a way that it moves a specific ...
Xiaogang Wang, Weiliang Qiu, Ruben H. Zamar
CVIU
2007
152views more  CVIU 2007»
15 years 6 months ago
Vision-based human motion analysis: An overview
Markerless vision-based human motion analysis has the potential to provide an inexpensive, non-obtrusive solution for the estimation of body poses. The significant research effo...
Ronald Poppe