Sciweavers

1445 search results - page 109 / 289
» Properties of state spaces and their applications
Sort
View
ICCV
2003
IEEE
16 years 8 months ago
Minimum Risk Distance Measure for Object Recognition
Recently, the optimal distance measure for a given object discrimination task under the nearest neighbor framework was derived [1]. For ease of implementation and efficiency consi...
Shyjan Mahamud, Martial Hebert
NIPS
2007
15 years 7 months ago
Kernel Measures of Conditional Dependence
We propose a new measure of conditional dependence of random variables, based on normalized cross-covariance operators on reproducing kernel Hilbert spaces. Unlike previous kernel...
Kenji Fukumizu, Arthur Gretton, Xiaohai Sun, Bernh...
SMA
2010
ACM
223views Solid Modeling» more  SMA 2010»
15 years 6 months ago
Hyperbolic centroidal Voronoi tessellation
The centroidal Voronoi tessellation (CVT) has found versatile applications in geometric modeling, computer graphics, and visualization. In this paper, we extend the concept of the...
Guodong Rong, Miao Jin, Xiaohu Guo
ICSE
2004
IEEE-ACM
16 years 6 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
TSMC
2002
80views more  TSMC 2002»
15 years 6 months ago
Performance metric alerting: a new design approach for complex alerting problems
Alerting systems and related decision-making automation are widely used to enhance the safety and capability of controlled processes across many applications. Traditional alerting ...
L. C. Yang, J. K. Kuchar