4 search results - page 1 / 1 » A Mechanically Verified AIG-to-BDD Conversion Algorithm |
ITP
2010
13 years 6 months ago
2010
ECCV
2002
Springer
14 years 6 months ago
2002
Springer
Abstract. An important issue in tracking is how to incorporate an appropriate degree of adaptivity into the observation model. Without any adaptivity, tracking fails when object pr...
DAIS
2003
13 years 6 months ago
2003
Communication in distributed applications across a wide area network needs to cope with heterogenous and constantly changing network conditions. A promising approach to address thi...
DOCENG
2006
ACM
13 years 10 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...