2162 search results - page 75 / 433 » Automated Reasoning on Feature Models |
127
Voted
EWCBR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Good similarity functions are at the heart of effective case-based reasoning. However, the similarity functions that have been designed so far have been mostly linear, we...
107
Voted
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
127
Voted
DEBU
2006
15 years 3 months ago
2006
Storage virtualization in modern storage systems allows variability in the number of "physical" disks supporting a single "virtual" disk. In practice, IO workl...
121
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
We investigate NLTL, a linear-time temporal logic with forgettable past. NLTL can be exponentially more succinct than LTL + Past (which in turn can be more succinct than LTL). We ...
136
Voted
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...