2276 search results - page 188 / 456 » The Measurement of Business Intelligence |
214
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Complete algorithms have been proposed to solve problems modelled as distributed constraint optimization (DCOP). However, there are only few attempts to address real world scenari...
153
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We study the problem of agents attempting to find quality service providers in a distributed environment. While referrals from other agents can be used to locate high-quality prov...
180
click to vote
AGI
2011
14 years 10 months ago
2011
Comparing humans and machines is one important source of information about both machine and human strengths and limitations. Most of these comparisons and competitions are performe...
145
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
173
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...