4084 search results - page 216 / 817 » Constraints in spatial structures |
166
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
183
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes the findings of a case study that explores the micro level factors surrounding the processes of creativity and process management in a creative organization. ...
183
click to vote
ISCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Concern for the increasing susceptibility of processor structures to transient errors has led to several recent research efforts that propose architectural techniques to enhance r...
216
click to vote
INEX
2004
Springer
16 years 16 days ago
2004
Springer
We describe the INEX 2004 participation of the Informatics Institute of the University of Amsterdam. We completely revamped our XML retrieval system, now implemented as a mixture l...
178
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
A new dictionary selection approach for sparse coding, called parametric dictionary design, has recently been introduced. The aim is to choose a dictionary from a class of admissi...