4143 search results - page 348 / 829 » A theory of distributed aspects |
152
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
174
click to vote
CIKM
2000
Springer
15 years 11 months ago
2000
Springer
RankBoost is a recently proposed algorithm for learning ranking functions. It is simple to implement and has strong justifications from computational learning theory. We describe...
175
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Real-time search has two aspects, one as an efficient search method (in a single problem solving trial), and the other as an overall problem solving architecture with learning abi...
178
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
With the fast development and increasing use of the World Wide Web as both an information seeking and an electronic commerce tool, web usability studies grow in importance. While ...
140
click to vote
PRICAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In multi-agent reinforcement learning systems, it is important to share a reward among all agents. We focus on the Rationality Theorem of Profit Sharing [5] and analyze ...