4926 search results - page 731 / 986 » Two Graph Algorithms On an Associative Computing Model |
HYBRID
1998
Springer
14 years 14 days ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
SMA
2006
ACM
14 years 2 months ago
2006
ACM
We present an efficient and robust algorithm for computing the minimum distance between a point and freeform curve or surface by lifting the problem into a higher dimension. This...
ISMB
1996
13 years 9 months ago
1996
Several computeralgorithms for discovering patterns in groups of protein sequences are in use that are basedon fitting the parametersof a statistical model to a group of related s...
FOCS
2009
IEEE
13 years 6 months ago
2009
IEEE
We give a new model of learning motivated by smoothed analysis (Spielman and Teng, 2001). In this model, we analyze two new algorithms, for PAC-learning DNFs and agnostically learn...
ICCV
2001
IEEE
14 years 10 months ago
2001
IEEE
A framework for photo-realistic view-dependent image synthesis of a shiny object from a sparse set of images and a geometric model is proposed. Each image is aligned with the 3D m...