14649 search results - page 2532 / 2930 » Principles of problem solving |
168
Voted
PST
2004
15 years 9 months ago
2004
Along with the growth of information technology, online gaming has become a very successful and outstanding industry, especially in Asia. However due to the lack of legal regulatio...
184
Voted
ICWS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
166
click to vote
SBACPAD
2004
IEEE
15 years 9 months ago
2004
IEEE
Seismic tomography enables to model the internal structure of the Earth. In order to improve the precision of existing models, a huge amount of acquired seismic data must be analy...
220
Voted
IJCAI
2003
15 years 9 months ago
2003
This paper discusses the specifics of planning in multiagent environments. It presents the formal framework MAPL (“maple”) for describing multiagent planning domains. MAPL al...
212
click to vote
IJCAI
2003
15 years 9 months ago
2003
In [Jegou, 1993], a decomposition method has been introduced for improving search efficiency in the area of Constraint Satisfaction Problems. This method is based on properties of...