1193 search results - page 27 / 239 » A primer of simple theories |
117
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
—Efficient operation of wireless networks and switches requires using simple (and in some cases distributed) scheduling algorithms. In general, simple greedy algorithms (known a...
CADE
2008
Springer
16 years 3 days ago
2008
Springer
One of the keys to the success of the Thousands of Problems for Theorem Provers (TPTP) problem library and related infrastructure is the consistent use of the TPTP language. This p...
114
click to vote
INFOCOM
1997
IEEE
15 years 4 months ago
1997
IEEE
Rate-based feedback congestion control has been proposed as a form of traffic management for available bit rate traffic in ATM networks. This paper discusses applying linear con...
BIRTHDAY
2010
Springer
15 years 16 hour ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
132
click to vote
ICAIL
2003
ACM
15 years 5 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...