12774 search results - page 2283 / 2555 » A Framework for Proof Systems |
192
click to vote
CP
1997
Springer
15 years 11 months ago
1997
Springer
Many problems in multi-agent systems can be described as distributed Constraint Satisfaction Problems (distributed CSPs), where the goal is to nd a set of assignments to variables ...
178
click to vote
KDD
1997
ACM
15 years 11 months ago
1997
ACM
When mining large databases, the data extraction problem and the interface between the database and data mining algorithm become important issues. Rather than giving a mining algo...
213
click to vote
MA
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents a mobile agent approach that aims at satisfying the following requirements of open Internet-based electronic service markets: the mobile agent system should be...
184
click to vote
SIGMOD
1996
ACM
15 years 11 months ago
1996
ACM
Decision support applications involve complex queries on very large databases. Since response times should be small, query optimization is critical. Users typically view the data ...
216
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...