10038 search results - page 1896 / 2008 » Model Checking for Managers |
129
click to vote
SIAMCOMP
2002
15 years 12 days ago
2002
abstract Alain Mayer Yoram Ofeky Rafail Ostrovskyz Moti Yungx We investigate the problem of self-stabilizing round-robin token management scheme on an anonymous bidirectional ring...
145
click to vote
PAMI
2008
15 years 7 days ago
2008
A common way to model multiclass classification problems is by means of Error-Correcting Output Codes (ECOCs). Given a multiclass problem, the ECOC technique designs a code word fo...
120
Voted
OPODIS
2010
14 years 10 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
148
Voted
CIKM
2009
Springer
14 years 10 months ago
2009
Springer
Social bookmarking tools become more and more popular nowadays and tagging is used to organize information and allow users to recall or search the resources. Users need to type th...
127
click to vote
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
In the standard formalization of supervised learning problems, a datum is represented as a vector of features without prior knowledge about relationships among features. However, ...