15372 search results - page 2652 / 3075 » The Semantics of Semantic Annotation |
226
click to vote
KBSE
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
220
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
222
click to vote
CSCW
1994
ACM
15 years 11 months ago
1994
ACM
The need to merge different versions of an object toa common state arises in collaborative computing due to several reasons including optimistic concurrency control, asynchronous ...
230
click to vote
DL
1994
Springer
15 years 11 months ago
1994
Springer
Digital Libraries will hold huge amounts of text and other forms of information. For the collections to be maximally useful, they must be highly organized with useful indexes and ...
165
click to vote
ECHT
1994
15 years 11 months ago
1994
In semantically rich hypertexts it is attractive to enable presentation of a network of nodes and links at different levels action. It is also important that the user can interact...