4126 search results - page 329 / 826 » Set based logic programming |
137
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
MEMS storage devices are new non-volatile secondary storages that have outstanding advantages over magnetic disks. MEMS storage devices, however, are much different from magnetic ...
127
click to vote
FSKD
2005
Springer
15 years 10 months ago
2005
Springer
With the dramatic development of web technologies, tremendous amount of information become available to users. The great advantages of the web are the ease with which information c...
109
Voted
VTS
1997
IEEE
15 years 9 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
167
click to vote
DLOG
2009
15 years 2 months ago
2009
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
158
Voted
KR
1998
Springer
15 years 9 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...