915 search results - page 142 / 183 » Robustness in the Presence of Liveness |
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
SIGGRAPH
2010
ACM
15 years 2 months ago
2010
ACM
We propose a mesh-based surface tracking method for fluid animation that both preserves fine surface details and robustly adjusts the topology of the surface in the presence of ...
VLDB
2001
ACM
15 years 2 months ago
2001
ACM
Dynamically generated web pages are ubiquitous today but their high demand for resources creates a huge scalability problem at the servers. Traditional web caching is not able to ...
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we present an appearance-based method for person re-identification. It consists in the extraction of features that model three complementary aspects of the human ap...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
Power supply noise increases the circuit delay, which may lead to performance failure of a design. Decoupling capacitance (decap) addition is effective in reducing the power suppl...