Entry Bench-Capon:EPODD-2-4-231 from epodd.bib
Last update: Fri Jan 5 02:09:17 MST 2018
Top |
Symbols |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Bench-Capon:EPODD-2-4-231,
author = "Trevor J. M. Bench-Capon and Paul E. Dunne",
title = "Some computational properties of a model for
electronic documents",
journal = j-EPODD,
volume = "2",
number = "4",
pages = "231--256",
month = dec,
year = "1989",
CODEN = "EPODEU",
ISSN = "0894-3982",
bibsource = "http://www.math.utah.edu/pub/tex/bib/epodd.bib",
abstract = "Differing types of documents exhibit varying
structures. These may arise, at one level, because of
the material comprising the text -- thus textbooks will
be organized differently from research papers -- and at
a lower level as a result of the layout conventions by
which the text is formatted. These structuring regimes
may be seen as defining a set of constraints which a
document within a specific class must satisfy. In this
paper we examine the model recently proposed in
Reference \cite{Koo} which is used for representing and
modifying electronic documents. This employs simple
graph grammars as a means of translating changes in the
document structure into modifications to the computer
representation. The aim of this approach is to provide
computer support which will allow the appropriate
structural conventions to be preserved while the
document is being edited. We consider the following
problem with this method: given a set of `constraints'
which the document must satisfy and a collection of
rules prescribing how the document representation may
be modified, how does one prove that {\em only\/}
documents which obey the constraints can be generated
by repeated applications of the rules? We describe one
way in which this question can be more precisely
formulated and call this the {\em consistency
checking\/} problem. It is shown that, in general, this
problem cannot be solved. We then outline how, for
practical applications, the consistency checking
problem may be solved for certain special cases.",
keywords = "Document models, Graph modification systems,
Electronic documents",
}
Related entries
- aim,
2(1)25,
4(2)109,
4(4)205,
5(2)55,
6(3)241,
7(3)179
- allow,
2(1)25,
2(2)101,
4(1)3,
5(3)131,
6(2)93,
6(3)145,
6(3)159,
6(3)249,
6(4)315
- application,
0(0)13,
1(2)97,
2(1)25,
3(4)207,
4(1)3,
4(3)151,
4(4)219,
5(3)105,
5(3)143,
6(2)93,
6(3)117,
6(3)207,
6(4)327,
6(4)361,
6(4)397,
6(4)469,
6(4)495,
7(1)3,
7(2)55,
7(2)75,
7(3)179,
8(1)31,
8(2)51,
8(2)259
- approach,
2(2)91,
2(2)101,
2(4)179,
3(1)29,
3(1)47,
4(1)3,
4(2)87,
4(4)219,
6(3)133,
6(3)159,
6(3)207,
6(3)213,
6(3)249,
6(4)327,
6(4)397,
6(4)435,
6(4)447,
6(4)457,
6(4)469,
7(1)3,
7(1)35,
7(2)89,
7(3)147,
7(4)231,
8(1)31
- appropriate,
2(4)179,
3(4)207,
5(2)63,
6(3)241,
7(4)251
- arise,
1(1)3,
6(4)315
- because,
0(0)13,
2(3)119,
4(2)109,
6(1)35,
6(2)67,
6(3)207,
7(4)197
- being,
2(3)169,
3(1)3,
4(1)27,
4(3)125,
4(4)205,
7(4)217
- call,
7(4)261
- cannot,
5(3)105
- case,
2(4)211,
5(4)163,
6(3)171,
7(1)3,
7(3)179,
7(4)231
- certain,
2(1)25,
6(3)241,
6(4)373,
6(4)397
- change,
1(1)3,
3(2)65,
6(4)373,
7(3)117
- checking,
3(1)3
- class,
2(2)101,
4(1)43,
5(4)209,
6(4)435,
7(4)251
- collection,
2(4)211,
5(1)1,
5(4)163
- comprising,
2(4)179,
3(3)141
- computational,
1(2)105,
6(1)35
- computer,
0(0)13,
1(1)55,
1(2)117,
2(1)25,
2(3)143,
3(1)47,
4(3)151,
4(4)205,
5(2)63,
5(2)79,
5(2)91,
6(1)3,
6(3)115,
6(4)315,
7(1)3,
7(4)197
- consider,
1(1)45,
1(2)79,
3(3)155,
4(2)109
- consistency,
1(1)55,
5(3)131,
6(3)115,
6(4)423
- constraint,
3(2)105,
6(3)273,
6(4)315,
6(4)349,
6(4)397,
7(4)251
- conventions,
2(3)119,
3(2)93
- describe,
1(1)3,
1(1)19,
1(1)55,
1(2)79,
1(2)117,
2(2)65,
2(3)119,
2(3)157,
2(4)211,
3(1)29,
3(2)65,
3(3)125,
3(4)179,
3(4)207,
4(1)27,
4(2)63,
4(2)109,
4(3)125,
5(2)79,
5(3)105,
5(4)163,
6(1)23,
6(2)93,
6(4)423,
6(4)481
- differently,
5(2)63
- do,
1(1)45,
4(1)3,
6(3)117,
6(3)283
- edited,
3(2)105
- electronic,
0(0)13,
1(1)55,
2(3)143,
3(1)47,
3(2)93,
3(2)105,
5(2)55,
5(2)63,
5(2)73,
5(2)91,
5(2)97,
5(3)105,
6(3)115,
6(3)289,
6(4)313,
6(4)447,
6(4)469,
6(4)481,
6(4)495,
7(1)21,
7(1)49,
7(2)55,
7(2)89,
7(3)117,
8(2)49
- employ,
6(2)93,
6(4)361
- examine,
1(1)19,
2(4)193,
3(3)125,
3(3)155,
6(1)3
- exhibit,
4(1)3,
6(3)115
- following,
3(2)93
- formatted,
5(4)163
- general,
2(1)25,
2(4)179,
5(3)105,
6(1)23,
6(3)171,
7(1)35,
7(3)117,
7(3)147,
7(4)251
- generated,
2(3)157,
3(3)155,
6(4)435
- given,
1(2)105,
2(4)179,
4(3)151,
5(2)63,
6(4)435,
7(4)217
- grammar,
3(2)93,
4(1)3,
4(3)125,
6(4)361,
6(4)373,
6(4)447,
8(1)15
- graph,
2(2)91,
5(4)163,
6(4)457
- how,
1(1)45,
2(3)143,
3(1)29,
3(3)125,
3(3)155,
4(1)3,
4(1)43,
5(2)63,
6(4)339,
6(4)397,
7(2)55,
7(3)163,
7(3)179
- layout,
1(2)97,
2(3)169,
3(1)29,
8(4)295
- level,
2(3)157,
3(4)179,
4(4)185,
4(4)219,
6(3)115,
6(3)219,
6(3)241,
7(3)117,
7(4)217
- material,
1(1)19,
2(1)3,
2(1)25,
5(2)63,
6(3)241,
6(4)339,
6(4)481
- may,
1(1)19,
1(2)97,
1(2)117,
2(2)101,
3(2)93,
3(3)125,
5(2)63,
5(2)91,
6(3)283,
6(4)397,
7(2)55,
7(3)163,
7(4)251
- mean,
1(1)45,
2(1)47,
4(3)151,
4(4)205,
5(3)131,
6(1)3,
6(4)447,
7(3)117,
7(4)217
- method,
1(1)45,
1(2)105,
1(2)117,
4(2)87,
4(3)151,
4(4)205,
5(1)1,
6(1)3,
6(3)115,
6(3)145,
6(4)373,
7(3)117,
7(4)217,
7(4)251,
8(2)207
- model,
1(2)105,
2(3)157,
2(4)179,
3(1)3,
3(1)29,
3(4)179,
3(4)207,
4(2)63,
4(2)87,
4(4)219,
6(1)35,
6(2)93,
6(3)115,
6(3)273,
6(4)315,
6(4)327,
6(4)361,
6(4)397,
6(4)423,
6(4)435,
6(4)495,
7(2)55,
7(2)89,
7(3)179,
8(2)195
- modification,
1(1)19,
5(3)131,
6(3)231,
6(3)261,
6(4)373
- modified,
2(1)25,
5(4)163,
6(3)231
- modifying,
6(4)339
- more,
1(1)19,
1(1)55,
2(1)47,
2(2)101,
2(3)119,
2(4)179,
4(3)151,
4(4)205,
6(2)93,
6(3)115,
6(3)241,
6(4)327,
6(4)457,
7(1)21
- must,
1(1)19,
4(3)125,
6(1)3,
6(1)35,
6(3)231
- one,
2(2)101,
2(3)169,
3(1)29,
3(2)105,
3(3)125,
3(4)179,
3(4)207,
3(4)227,
6(2)93,
6(3)145,
6(4)327,
6(4)423,
7(3)179
- only,
0(0)13,
1(1)55,
1(2)117,
2(1)47,
2(3)119,
4(4)185,
5(4)163
- organized,
6(3)115
- outline,
3(3)125,
5(2)55,
6(2)67,
6(3)115,
6(3)117,
6(3)171,
6(3)219,
7(1)3,
7(4)251
- paper,
0(0)13,
1(1)3,
1(1)45,
1(2)79,
1(2)97,
1(2)105,
1(2)117,
2(1)3,
2(2)65,
2(2)91,
2(3)119,
2(3)143,
2(3)157,
2(4)179,
2(4)193,
3(1)47,
3(2)65,
3(2)105,
3(3)125,
3(4)179,
3(4)227,
4(1)3,
4(1)27,
4(1)43,
4(2)63,
4(2)109,
4(3)125,
4(4)185,
4(4)205,
4(4)219,
5(1)19,
5(2)55,
5(2)63,
5(2)73,
5(2)79,
5(2)91,
5(3)131,
5(4)163,
5(4)209,
6(1)3,
6(1)23,
6(2)67,
6(3)115,
6(3)133,
6(3)145,
6(3)159,
6(3)183,
6(3)207,
6(3)219,
6(3)231,
6(3)249,
6(3)273,
6(4)315,
6(4)327,
6(4)339,
6(4)397,
6(4)423,
6(4)435,
6(4)447,
6(4)457,
6(4)481,
6(4)495,
7(1)21,
7(2)55,
7(2)89,
7(3)117,
7(3)163,
7(3)179,
7(4)197
- practical,
5(1)1,
6(4)413,
7(3)117
- precisely,
2(2)101
- problem,
0(0)13,
1(1)19,
2(1)25,
2(2)65,
2(2)101,
3(1)29,
4(3)125,
4(4)219,
5(4)209,
6(2)67,
6(3)171,
6(3)207,
6(4)327,
6(4)457,
7(4)197,
8(4)343
- property,
2(1)25,
6(3)213
- proposed,
1(2)105,
2(1)3,
5(1)1,
5(2)63,
6(2)67,
6(3)219,
6(3)273,
6(4)361
- prove,
6(3)241
- provide,
1(1)19,
2(1)25,
3(4)179,
3(4)207,
5(1)1,
5(1)19,
5(3)131,
6(1)35,
6(2)93,
6(3)289,
7(3)147,
7(3)163,
7(3)179
- question,
3(4)227
- recently,
4(4)219,
6(4)481,
7(3)163
- reference,
2(1)25,
2(4)193,
3(4)179,
6(1)3,
6(1)23,
6(4)435,
6(4)469,
6(4)495,
7(3)163,
7(4)251
- representation,
1(1)19,
2(2)65,
4(1)3,
4(1)27,
4(2)63,
4(4)219,
6(3)117,
6(3)159,
6(3)183,
6(3)219,
6(4)481,
7(3)179
- representing,
4(2)109,
6(4)495
- research,
1(1)19,
1(1)55,
2(1)25,
2(3)143,
3(1)47,
6(1)35,
6(3)115,
6(3)231,
6(3)241,
6(4)481
- result,
2(1)25,
2(3)143,
3(4)207,
4(1)3,
4(4)185,
6(2)67,
6(3)159,
6(3)219,
6(3)231,
6(3)241,
6(3)273,
6(4)413,
6(4)435,
7(2)55,
7(3)117,
8(2)207
- rules,
4(1)3,
5(1)49,
6(3)115,
6(3)283,
7(4)251
- seen,
7(3)117
- set,
1(1)3,
1(1)19,
1(1)55,
1(2)105,
3(4)207,
4(3)151,
5(2)63,
6(1)35,
6(2)67,
6(3)133,
6(3)231,
6(3)241,
6(3)273,
6(4)349,
6(4)481,
8(2)111
- shown,
2(4)179,
6(4)397,
7(1)3,
7(4)217,
7(4)231
- simple,
1(1)19,
3(3)155,
4(1)3,
4(1)43,
4(2)87,
4(2)109,
6(3)183,
7(4)251
- solved,
3(1)29,
7(4)197
- special,
1(1)3,
1(1)55,
1(2)117,
6(3)115,
6(3)145,
6(4)313,
7(3)147,
7(4)231,
8(2)49
- specific,
3(4)179,
5(2)63,
6(3)207,
7(1)35,
7(2)55
- structural,
6(1)35
- structure,
1(1)3,
1(1)19,
1(1)55,
2(2)101,
2(4)211,
3(1)29,
3(4)179,
4(1)3,
4(2)109,
4(3)125,
5(1)1,
5(2)63,
5(3)143,
6(1)35,
6(2)67,
6(2)93,
6(4)327,
6(4)349,
6(4)373,
6(4)423,
6(4)435,
6(4)447,
6(4)457,
6(4)481,
6(4)495,
7(1)21,
7(2)55,
7(4)251,
8(4)295
- structuring,
5(1)1,
7(3)163
- support,
1(2)117,
2(4)193,
3(1)29,
3(2)105,
3(3)141,
3(3)155,
4(1)3,
4(2)63,
4(4)219,
6(1)35,
6(4)469,
7(1)21,
7(3)147
- text,
1(1)55,
1(2)79,
1(2)117,
2(1)25,
2(1)47,
2(2)101,
2(3)119,
2(3)143,
2(3)169,
3(1)3,
4(3)125,
4(4)185,
4(4)219,
5(1)1,
5(1)19,
5(3)131,
5(4)163,
6(1)23,
6(1)35,
6(2)93,
6(3)117,
6(3)241,
6(3)249,
6(3)273,
6(3)283,
6(4)349,
6(4)373,
6(4)397,
6(4)413,
6(4)495
- then,
1(1)55,
1(2)79,
2(1)3,
2(1)25,
2(2)91,
2(3)143,
2(3)157,
3(1)47,
3(3)125,
3(4)179,
3(4)207,
4(2)63,
4(2)109,
5(3)105,
6(4)397,
6(4)447,
7(1)3,
7(2)89,
7(3)163,
7(4)217,
7(4)231
- thus,
4(1)3,
4(3)125,
6(4)413
- type,
2(1)47,
3(1)3,
3(2)93,
3(3)155,
4(1)27,
4(3)125,
4(4)219,
5(2)63,
6(1)3,
6(1)35,
6(2)93,
6(3)115,
6(3)219,
6(3)231,
6(3)289,
6(4)361,
6(4)373,
6(4)413,
6(4)423,
6(4)469,
7(1)35,
7(4)217
- used,
1(1)3,
2(1)3,
2(3)119,
2(3)169,
2(4)179,
2(4)211,
3(3)141,
3(3)155,
4(3)125,
4(4)185,
5(1)19,
5(2)63,
5(3)105,
6(1)35,
6(2)67,
6(3)115,
6(3)145,
6(3)231,
6(3)241,
6(3)261,
6(3)273,
6(4)315,
6(4)413,
6(4)435,
6(4)447,
6(4)457,
6(4)481,
7(4)217,
7(4)251
- varying,
6(3)231
- way,
1(1)45,
1(2)79,
1(2)97,
2(2)101,
2(3)157,
3(2)105,
4(1)27,
4(1)43,
4(4)205,
5(2)63,
5(3)131,
6(3)219,
6(4)315,
7(4)217
- which,
0(0)13,
1(1)3,
1(1)19,
1(1)55,
1(2)79,
1(2)105,
2(1)3,
2(1)25,
2(2)91,
2(3)119,
2(3)143,
2(3)157,
2(4)179,
3(1)3,
3(2)105,
3(3)125,
3(4)227,
4(1)3,
4(1)43,
4(3)125,
4(4)185,
5(2)63,
5(2)79,
5(3)105,
5(3)131,
5(3)143,
6(1)3,
6(1)35,
6(2)67,
6(2)93,
6(3)133,
6(3)171,
6(3)183,
6(3)207,
6(3)231,
6(3)283,
6(4)315,
6(4)349,
6(4)413,
6(4)423,
6(4)447,
6(4)457,
6(4)469,
6(4)481,
7(1)35,
7(2)55,
7(3)117
- while,
2(4)193,
3(2)105,
4(3)125,
5(2)79,
6(4)339,
6(4)481
- will,
1(1)55,
1(2)117,
2(1)25,
2(3)119,
2(3)143,
3(1)29,
4(2)63,
6(3)241,
6(3)283,
6(4)423,
7(3)179