1147 search results - page 209 / 230 » Termination in language-based systems |
162
click to vote
W2GIS
2009
Springer
15 years 10 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...
206
click to vote
TABLEAUX
2000
Springer
15 years 9 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...
181
Voted
ICDCS
1995
IEEE
15 years 9 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...
194
click to vote
AAAI
1994
15 years 7 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...
199
click to vote
JAIR
2010
15 years 4 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...