10038 search results - page 1896 / 2008 » Model Checking for Managers |
153
Voted
SIAMCOMP
2002
15 years 3 months 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...
175
Voted
PAMI
2008
15 years 3 months 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...
150
Voted
OPODIS
2010
15 years 1 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...
187
Voted
CIKM
2009
Springer
15 years 1 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...
156
Voted
CIKM
2010
Springer
15 years 1 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, ...