3318 search results - page 391 / 664 » The Weak Instance Model |
123
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
156
click to vote
ECML
2004
Springer
15 years 10 months ago
2004
Springer
The standard framework of machine learning problems assumes that the available data is independent and identically distributed (i.i.d.). However, in some applications such as image...
146
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
140
click to vote
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
Global placement of hypergraphs is critical in the top-down placement of large timing-driven designs 10, 16 . Placement quality is evaluated in terms of the half-perimeter wirelen...
143
click to vote
SCCC
1999
IEEE
15 years 8 months ago
1999
IEEE
A model was introduced in [Fraga97] for integrating replication techniques in heterogeneous systems. The model adopts a reflective structure based on the meta-object approach [10]...