Sciweavers

5647 search results - page 18 / 1130
» A word from the editor
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
13 years 5 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
HT
2005
ACM
14 years 1 months ago
Hypervideo expression: experiences with hyper-hitchcock
Hyper-Hitchcock is a hypervideo editor enabling the direct manipulation authoring of a particular form of hypervideo called “detail-on-demand video.” This form of hypervideo a...
Frank M. Shipman III, Andreas Girgensohn, Lynn Wil...
HCI
1993
13 years 9 months ago
Reducing Repetition in Graphical Editing
People producing illustrations with graphical editors often need to repeat the same steps over and over again. This paper describes five techniques that reduce the amount of repet...
David Kurlander
HASKELL
2005
ACM
14 years 1 months ago
Dynamic applications from the ground up
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dy...
Don Stewart, Manuel M. T. Chakravarty
EMNLP
2010
13 years 5 months ago
Discriminative Word Alignment with a Function Word Reordering Model
We address the modeling, parameter estimation and search challenges that arise from the
Hendra Setiawan, Christopher Dyer, Philip Resnik