834 search results - page 6 / 167 » Anaphora and the Logic of Change |
CIE
2007
Springer
15 years 4 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
ASPDAC
2005
ACM
15 years 8 days ago
2005
ACM
In a later stage of a VLSI design, it is quite often to modify a design implementation to accommodate the new specification, design errors, or to meet design constraints. In addit...
ECAI
2006
Springer
15 years 8 days ago
2006
Springer
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
ICCAD
1992
IEEE
15 years 2 months ago
1992
IEEE
