3005 search results - page 532 / 601 » Logical Information Systems: from Taxonomies to Logics |
AAAI
1993
15 years 3 months ago
1993
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...
114
click to vote
MICRO
2006
IEEE
15 years 1 months ago
2006
IEEE
Low-overhead checkpointing and rollback is a popular technique for fault recovery. While different approaches are possible, hardware-supported checkpointing and rollback at the ca...
116
click to vote
IAJIT
2007
15 years 1 months ago
2007
: Routing is an important functional aspect in wireless ad-hoc networks that handles discovering and maintaining the paths between nodes within a network. Due to nodes mobility, th...
124
click to vote
ENVSOFT
2002
15 years 1 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
129
Voted
MLQ
1998
15 years 1 months ago
1998
We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theor...