On Sat, Dec 5, 2009 at 6:28 PM, David BL <[email protected]>wrote:
> > > On Dec 2, 9:32 pm, Brett Morgan <[email protected]> wrote: > > > > Ok, my understanding of intention preserving from the literature was > around > > an instance like the following: > > > > server document contains: "abc" > > client 1 sends an edit of the form: retain(3), characters("123") > > client 2 sends an edit of the form: retain(3), characters("125") > > > > a resulting document, with intention preserving: "abc1235" > > a resulting document, sans intention preserving: "abc123125" > > > > One of the (many) innovations that the google team have introduced into > the > > OT algorithm is xml like structure. I see that your definition of > intention > > preserving over the xml structure is not to collapse aligned edits, as > was > > the case above with the parrallel "12" character additions. This was not > my > > understanding of what intention preseving means, given my reading of the > > literature. > > AFAIK the term "Intention Preservation" originated with Chengzheng Sun > et al. It is an informal notion that is *always* applicable to > implementations of OT. One example of a formal intention preservation > constraint is the effects relation described by Rui Li et al. > > I have never seen it described in the sense you allude to. I would > appreciate it if you could provide a reference. > > In case it's not bleedingly obvious, I'm a programmer, not an academic. I'm all about what works in reality, not what works in theory. > -- > > You received this message because you are subscribed to the Google Groups > "Wave Protocol" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]<wave-protocol%[email protected]> > . > For more options, visit this group at > http://groups.google.com/group/wave-protocol?hl=en. > > > -- Brett Morgan http://domesticmouse.livejournal.com/ -- You received this message because you are subscribed to the Google Groups "Wave Protocol" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/wave-protocol?hl=en.
