5022 search results - page 293 / 1005 » Data structures and problem solving using Java |
132
click to vote
ENTCS
2010
15 years 13 days ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
128
click to vote
ET
2000
15 years 2 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
135
click to vote
TCAD
2002
15 years 2 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
139
click to vote
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
An important class of image data sets depict an object undergoing deformation. When there are only a few underlying causes of the deformation, these images have a natural lowdimen...
108
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...