2550 search results - page 112 / 510 » Difference Decision Diagrams |
181
click to vote
VLSID
2005
IEEE
15 years 12 months ago
2005
IEEE
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
179
click to vote
ER
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In this paper, we present the complete classification of recursive relationships and the criteria that contribute to the structural validity of modeling recursive relatio...
166
click to vote
AAAI
2010
15 years 7 months ago
2010
Relational Markov Decision Processes (MDP) are a useraction for stochastic planning problems since one can develop abstract solutions for them that are independent of domain size ...
166
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper, we discuss how to apply the rate distortion technique to select the optimal mode in the scalable coding. Firstly, we analyze this problem from a general scalable mo...
219
click to vote
ICMLA
2009
16 years 3 months ago
2009
User authentication and intrusion detection differ from standard classification problems in that while we have data generated from legitimate users, impostor or intrusion data is s...