4341 search results - page 553 / 869 » Quantitative Model checking |
231
click to vote
PAMI
2012
13 years 9 months ago
2012
A novel system for long-term tracking of a human face in unconstrained videos is built on Tracking-Learning-Detection (TLD) approach. The system extends TLD with the concept of a ...
492
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
Full-chip thermal monitoring is an important and challenging issue in today’s microprocessor design. In this paper, we propose a new information-theoretic framework to quantitat...
192
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
189
click to vote
ILP
2007
Springer
16 years 25 days ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
184
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...