1716 search results - page 165 / 344 » Proving Conditional Termination |
81
Voted
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
This paper presents a new approach for diagnosing stuck-at and short faults in interconnects whose layouts are known. This structural approach exploits dierent graph coloring and ...
101
Voted
KR
1992
Springer
15 years 4 months ago
1992
Springer
We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have co...
119
Voted
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
A negotiating agent engages in multi-issue bilateral negotiation in a dynamic information-rich environment. The agent strives to make informed decisions. The agent may assume that...
91
Voted
DGCI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Existing theories on shape digitization impose strong constraints on feasible shapes and require error-free measurements. We use Delaunay triangulation and -shapes to pro...
116
Voted
EUROGP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Theoretical models of Turing complete linear genetic programming (GP) programs suggest the fraction of halting programs is vanishingly small. Convergence results proved f...