3658 search results - page 162 / 732 » Founding properties on measurement |
BIBE
2000
IEEE
14 years 26 days ago
2000
IEEE
We present a theoretically founded framework for fuzzy unification and resolution based on edit distance over trees. Our framework extends classical unification and resolution con...
DAC
1997
ACM
14 years 24 days ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
NIPS
2004
13 years 10 months ago
2004
We provide a principle for semi-supervised learning based on optimizing the rate of communicating labels for unlabeled points with side information. The side information is expres...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
In this paper simulation studies of the ultrasound computerized tomography (CT) technique employing time of flight data is presented. An enhanced genetic algorithm based reconstru...
SMA
2010
ACM
13 years 9 months ago
2010
ACM
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...