11740 search results - page 93 / 2348 » More Problems in Rewriting |
93
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
81
Voted
UC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We propose a novel formulation of the firing squad synchronization problem. In this formulation we may use more than one general state and the general state to be used i...
CORR
2010
Springer
15 years 24 days ago
2010
Springer
: This work deals with a classic problem: "Given a set of coins among which there is a counterfeit coin of a different weight, find this counterfeit coin using ordinary balanc...
107
click to vote
ICIP
2000
IEEE
16 years 2 months ago
2000
IEEE
There is often a trade-off between the accuracy and the speed of optical flow techniques. Given similar computational resources, this trade-off results in some techniques making i...
105
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...