4276 search results - page 399 / 856 » Techniques for Empirical Validation |
197
click to vote
WECWIS
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...
169
click to vote
WISE
2005
Springer
16 years 12 days ago
2005
Springer
The Web is a distributed network of information sources where the individual sources are autonomously created and maintained. Consequently, syntactic and semantic heterogeneity of ...
157
Voted
KCAP
2005
ACM
16 years 12 days ago
2005
ACM
Effective reuse of Knowledge Bases (KBs) often entails the expensive task of identifying plausible KB-PS (Problem Solver) combinations. We propose a novel technique based on Const...
214
click to vote
PEWASUN
2005
ACM
16 years 12 days ago
2005
ACM
The demand for cellular data networks is expected to increase with 3G and beyond technologies accompanied by highbandwidth consumer services, such as wireless video and camera pho...
162
click to vote
CP
2005
Springer
16 years 11 days ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...