5718 search results - page 959 / 1144 » Modeling Rule Precision |
159
click to vote
ENTCS
2010
15 years 7 months ago
2010
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
187
Voted
ESWA
2008
15 years 7 months ago
2008
Recommender systems base their operation on past user ratings over a collection of items, for instance, books, CDs, etc. Collaborative filtering (CF) is a successful recommendatio...
144
click to vote
CII
2006
15 years 7 months ago
2006
Tool path generation is one of the most complex problems in Computer Aided Manufacturing. Although some efficient strategies have been developed, most of them are only useful for s...
192
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Internet search companies sell advertisement slots based on users' search queries via an auction. While there has been previous work on the auction process and its game-theor...
190
click to vote
ENTCS
2006
15 years 7 months ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...