10874 search results - page 30 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
118
click to vote
3DGIS
2006
Springer
15 years 5 months ago
2006
Springer
Within the paper, a novel approach for the reconstruction of geometric details of building façades is presented. It is based on 3D point clouds from terrestrial laser scanning. B...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
: Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.