2138 search results - page 338 / 428 » Logical Step-Indexed Logical Relations |
155
click to vote
RSCTC
2000
Springer
15 years 8 months ago
2000
Springer
We discuss how Case Based Reasoning (CBR) (see e.g. [1], [4]) philosophy of adaptation of some known situations to new similar ones can be realized in rough set framework [5] for c...
154
Voted
DLOG
2007
15 years 7 months ago
2007
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...
141
Voted
FPL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract-The network on chip will become a future general purpose interconnect for FPGAs much like today's standard OPB or PLB bus architectures. However, performance characte...
156
click to vote
AAAI
2010
15 years 6 months ago
2010
Recent research has shown that surprisingly rich models of human behavior can be learned from GPS (positional) data. However, most research to date has concentrated on modeling si...
121
click to vote
AIML
2004
15 years 6 months ago
2004
We are going to show that the standard notion of Kripke completeness is the strongest one among many provably distinct algebraically motivated completeness properties, some of whic...