4753 search results - page 947 / 951 » Natural Modelling of Interactive Applications |
DAGSTUHL
1998
13 years 9 months ago
1998
Localization is one of the fundamental problems in mobile robotics. Without knowledge about their position mobile robots cannot e ciently carry out their tasks. In this paper we pr...
CASCON
1997
13 years 9 months ago
1997
The maintenanceofmaterializedviews in largescale environments composed of numerous heterogeneous information sources ISs , such as the WWW, has importance for the new breed of in...
USITS
1997
13 years 9 months ago
1997
Emerging applications in electronic commerce often involve very low-cost transactions, which execute in the context of ongoing, extended clientserver relationships. For example, c...
AAAI
1994
13 years 9 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...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...