4106 search results - page 54 / 822 » A Computational Model for Metric Spaces |
136
click to vote
ENTCS
2008
15 years 5 months ago
2008
: Countably based filter spaces have been suggested in the 1970's as a model for recursion theory on higher types. Weak limit spaces with a countable base are known to be the ...
151
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
170
click to vote
GLVLSI
2009
IEEE
16 years 13 days ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
179
click to vote
DBSEC
2008
15 years 6 months ago
2008
To protect critical resources in today’s networked environments, it is desirable to quantify the likelihood of potential multi-step attacks that combine multiple vulnerabilities....
171
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Visual vocabulary serves as a fundamental component in many computer vision tasks, such as object recognition, visual search, and scene modeling. While state-of-the-art approaches...