2783 search results - page 402 / 557 » The Nature Of Near-Synonymic Relations |
130
click to vote
VLDB
1994
ACM
15 years 5 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
143
click to vote
TARK
1992
Springer
15 years 5 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
141
click to vote
PODC
1990
ACM
15 years 5 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
117
click to vote
POPL
1990
ACM
15 years 5 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
108
click to vote
AINTEC
2007
Springer
15 years 5 months ago
2007
Springer
Relative to the impressive number of proposals addressing the multitude of challenges raised by IEEE 802.11-based wireless networks, few have known real implementation. In wireless...