1147 search results - page 209 / 230 » Termination in language-based systems |
W2GIS
2009
Springer
14 years 2 months ago
2009
Springer
We propose a mobile Web map interface that is based on a metaphor of the Wired Fisheye Lens. The interface was developed by using an improved fisheye views (Focus+Glue+Context map...
TABLEAUX
2000
Springer
14 years 1 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
ICDCS
1995
IEEE
14 years 1 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
AAAI
1994
13 years 11 months ago
1994
Many AI problems can be modeled as constraint satisfaction problems (CSP), but many of them are actually dynamic: the set of constraints to consider evolves because of the environ...
JAIR
2010
13 years 8 months ago
2010
LAMA is a classical planning system based on heuristic forward search. Its core feature is the use of a pseudo-heuristic derived from landmarks, propositional formulas that must b...