846 search results - page 52 / 170 » Rewrite-Based Decision Procedures |
ISQED
2002
IEEE
14 years 2 months ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...
COST
2009
Springer
14 years 4 months ago
2009
Springer
This paper presents equipment and procedures for on-card (in-situ) performance testing of biometric on-card comparison implementations using pre-existing databases of biometric sam...
UAI
1996
13 years 11 months ago
1996
We derive qualitative relationships about the informationalrelevance of variables in graphical decision models based on a consideration of the topology of the models. Speci cally,...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Recently, new segmentation models based on local information have emerged. They combine local statistics of the regions along the contour (inside and outside) to drive th...
KBSE
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Decisions regarding the mapping of software components to hardware nodes affect the quality of the resulting system. Making these decisions is hard when considering the ...