834 search results - page 6 / 167 » Anaphora and the Logic of Change |
CIE
2007
Springer
14 years 2 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
13 years 10 months 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
13 years 10 months 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
14 years 3 months ago
2009
Springer
ICCAD
1992
IEEE
14 years 24 days ago
1992
IEEE
