1836 search results - page 131 / 368 » Hierarchies for semantic classes |
FOSSACS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
GRC
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper proposes a code granulation space which can be applied to program construction and processing. Each granule in the space is defined as an improvement to the seed progra...
113
click to vote
CSCLP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Constraint solving problems (CSPs) represent a formalization of an important class of problems in computer science. We propose here a solving methodology based on the nam...
JACIII
2006
14 years 10 months ago
2006
ata forms, and abstract structural hierarchy based on is-a relationship and has-a relationship. Object structures illustrate many kinds of objects and actual dependence among objec...
AML
1999
14 years 9 months ago
1999
The paper studies a domain theoretical notion of primitive recursion over partial sequences in the context of Scott domains. Based on a non-monotone coding of partial sequences, t...