5378 search results - page 336 / 1076 » Base Logics in Argumentation |
134
click to vote
ASPDAC
1999
ACM
15 years 11 months ago
1999
ACM
We present a timing optimization algorithm based on the concept of gate duplication on the technologydecomposed network. We first examine the relationship between gate duplication...
150
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
We present LEOPARD, a fanout optimization algorithm based on the effort delay model for near-continuous size buffer libraries. Our algorithm minimizes area under required timing a...
188
click to vote
IJCAI
2007
15 years 8 months ago
2007
We define a translation from Weighted CSP to signed Max-SAT, and a complete resolution-style calculus for solving signed Max-SAT. Based on these results, we then describe an orig...
129
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
This paper presents a fuzzy control application in the unmanned driving field. Two electric cars have been conveniently instrumented in order to transform them in platforms for au...
297
click to vote
KIVS
2011
Springer
14 years 9 months ago
2011
Springer
Railway interlockings are dominated by highly proprietary systems. We present the development project Alister 2.0 – an interlocking system based on industry-proven standard comp...