653 search results - page 20 / 131 » Partial equilibrium logic |
117
Voted
IS
2006
15 years 3 months ago
2006
Abstract. Terms which are not explicitly mentioned in the text of a document receive often a minor role in current retrieval systems. In this work we connect the management of such...
124
Voted
ECAI
2006
Springer
15 years 5 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...
137
Voted
CSREAESA
2006
15 years 5 months ago
2006
Abstract
152
Voted
IANDC
2011
14 years 10 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
114
Voted
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...