2786 search results - page 170 / 558 » A Practical Technique for Process Abstraction |
109
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
101
Voted
HT
1998
ACM
15 years 6 months ago
1998
ACM
Reuse is increasingly strategic for reducing cost and improving quality of hypermedia design and development. In this paper, based on the design and development of a real hypermed...
142
click to vote
COMPOS
1997
Springer
15 years 6 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
107
Voted
VMV
2000
15 years 3 months ago
2000
Voxelisation is the term given to the process of converting data from one source type into a three dimensional volume of data values. The techniques known collectively as volume v...
ENTCS
2010
15 years 1 months ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...