3831 search results - page 557 / 767 » Dynamic Context Logic |
118
click to vote
SPAA
1998
ACM
15 years 8 months ago
1998
ACM
We present a computation-centric theory of memory models. Unlike traditional processor-centric models, computation-centric models focus on the logical dependencies among instructi...
120
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
124
click to vote
SIGMOD
1997
ACM
15 years 8 months ago
1997
ACM
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
129
click to vote
IFIP
1992
Springer
15 years 8 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
149
Voted
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Emerging sensor network technologies are expected to substantially augment applications such as environmental monitoring, health-care, and home/commercial automation. However, muc...