5451 search results - page 803 / 1091 » Typed Operational Semantics |
148
click to vote
IWAN
1999
Springer
15 years 10 months ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
143
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
The type of collaboration for a group, whether working in parallel or collectively, is a style for a group influenced by many factors, among them the technology that the group wor...
193
click to vote
ISMIS
1997
Springer
15 years 10 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
140
click to vote
ECHT
1994
15 years 10 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...
149
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
We focus in this paper on some meta-level ontological distinctions among unary predicates, like those between concepts and assertional properties. Three are the main contributions...