2550 search results - page 57 / 510 » Difference Decision Diagrams |
123
click to vote
ACSD
2007
IEEE
15 years 3 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
124
Voted
IJON
2010
14 years 11 months ago
2010
The visual system plays a predominant role in the human perception. Although all components of the eye are important to perceive visual information, the retina is a fundamental pa...
130
click to vote
ECIR
2006
Springer
15 years 3 months ago
2006
Springer
The purpose of contextual information retrieval is to make some exploration towards designing user specific search engines that are able to adapt the retrieval model to the variety...
115
click to vote
ICSEA
2007
IEEE
15 years 8 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
118
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...