4341 search results - page 597 / 869 » Quantitative Model checking |
140
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- We propose a method of correlating circuit performance with technology fluctuations during the circuit-design phase. The method employs test circuits sensitive for techn...
167
click to vote
CHARME
1997
Springer
15 years 10 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
166
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper proposes a novel approach to anomalous behaviour detection in video. The approach is comprised of three key components. First, distributions of spatiotemporal ...
177
click to vote
AAAI
2008
15 years 9 months ago
2008
Humans have an amazing ability to perceive depth from a single still image; however, it remains a challenging problem for current computer vision systems. In this paper, we will p...
175
click to vote
LREC
2010
15 years 8 months ago
2010
Conventional methods for disambiguation problems have been using statistical methods with co-occurrence of words in their contexts. It seems that human-beings assign appropriate w...