5499 search results - page 781 / 1100 » Generalized Rewrite Theories |
199
click to vote
DESRIST
2009
Springer
16 years 3 days ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
243
Voted
KDD
2009
ACM
16 years 2 days ago
2009
ACM
We describe a reputation-driven market that motivates human computation sellers (workers) to produce optimal levels of quality when quality is not immediately measurable and contr...
194
click to vote
PPDP
2009
Springer
16 years 1 days ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
238
click to vote
AGENTS
2001
Springer
16 years 6 hour ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
208
click to vote
EMMCVPR
2001
Springer
15 years 12 months ago
2001
Springer
Recent work (Yedidia, Freeman, Weiss [22]) has shown that stable points of belief propagation (BP) algorithms [12] for graphs with loops correspond to extrema of the Bethe free ene...