1268 search results - page 140 / 254 » One Logic to Use Them All |
106
click to vote
CGA
1999
15 years 14 days ago
1999
translating your abstract notions of desired size and shape directly into the appropriate tugs and pulls. You would probably not think much about coordinate systems. Ifyouwantedtom...
176
Voted
EXACT
2009
14 years 10 months ago
2009
In this paper a representative example is chosen that is meant be fairly simple for illustrating the point that in a very common kind of instance, argument and explanation are mixe...
112
click to vote
ISPD
2004
ACM
15 years 6 months ago
2004
ACM
VLSI placement tools usually work in two steps: First, the cells that have to be placed are roughly spread out over the chip area ignoring disjointness (global placement). Then, i...
126
Voted
SAT
2005
Springer
15 years 6 months ago
2005
Springer
Solvers for Quantified Boolean Formulae (QBF) use many analogues of technique from SAT. A significant amount of work has gone into extending conflict based techniques such as co...
DAGM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Body scanners offer significant potential for use in many applications like clothing industry, orthopedy, surgery, healthcare, monument conservation, art, as well as film...