1074 search results - page 169 / 215 » Rule sets based bilevel decision model |
110
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
102
click to vote
CADE
2008
Springer
16 years 5 days ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
QEST
2005
IEEE
15 years 5 months ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...
ECRA
2002
14 years 11 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
103
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a probabilistic formulation of kernel-based tracking methods based upon maximum likelihood estimation. To this end, we view the coordinates for the pixel...