12193 search results - page 339 / 2439 » It's not all about |
204
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
154
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
A huge amount of effort is consumed in modelling business processes, and then in developing and maintaining tools, documentation, and training courses to support the modelled proce...
147
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of reasoning with linear temporal logic on truncated paths. A truncated path is a path that is finite, but not necessarily maximal. Truncated paths arise n...
213
click to vote
CIKM
2003
Springer
15 years 12 months ago
2003
Springer
Given a snapshot of a social network, can we infer which new interactions among its members are likely to occur in the near future? We formalize this question as the link predicti...
186
click to vote
IDEAL
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we propose an intelligent recognition system for objectionable image in JPEG compression domain. First, the system applies robust skin color model and skin texture a...