207 search results - page 28 / 42 » Synthesizing Switching Logic Using Constraint Solving |
101
Voted
INFOCOM
1995
IEEE
15 years 3 months ago
1995
IEEE
Establishing a multicast tree in a point-to-point network of switch nodes, such as a wide-area ATM network, is often modeled as the NP-complete Steiner problem in networks. In thi...
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
This paper proposes a novel Behavioral Synthesis method that improves performance of synthesized circuits utilizing specialized functional units effectively. Specialized functional...
84
Voted
ICANN
2009
Springer
15 years 4 months ago
2009
Springer
Neural networks and other sophisticated machine learning algorithms frequently miss simple solutions that can be discovered by a more constrained learning methods. Transition from ...
127
click to vote
AAAI
1996
15 years 1 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
105
click to vote
ILP
2004
Springer
15 years 5 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...