4166 search results - page 221 / 834 » Automating the constraining process |
134
click to vote
RR
2009
Springer
16 years 29 days ago
2009
Springer
In this paper, we discuss the draft OWL 2 RL profile from the perspective of applying the constituent rules over Web data. In particular, borrowing from previous work, we discuss ...
173
click to vote
ASWEC
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
153
click to vote
DATE
2005
IEEE
16 years 1 days ago
2005
IEEE
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
137
click to vote
VTS
2005
IEEE
15 years 12 months ago
2005
IEEE
An automated design procedure is described for synthesizing circuits with low power concurrent error detection. It is based on pre-synthesis selection of a parity-check code follo...
173
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...