313 search results - page 24 / 63 » Properties of Euler Diagrams |
GLVLSI
2008
IEEE
14 years 2 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
CSL
1999
Springer
13 years 12 months ago
1999
Springer
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form ¡£¢¥¤§¦©¨ and ¡¢¥¤Â...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
A "pairing function" J associates a unique natural number z to any two natural numbers x,y such that for two "unpairing functions" K and L, the equalities K(J(x...
CGF
2008
13 years 7 months ago
2008
We develop adaptive sampling criteria which guarantee a topologically faithful mesh and demonstrate an improvement and simplification over earlier results, albeit restricted to 2D...
ICCV
2009
IEEE
15 years 17 days ago
2009
IEEE
We study the scenario of a multiview setting, where several
calibrated views of a textured object with known surface
geometry are available. The objective is to estimate a
diffu...