2050 search results - page 137 / 410 » A formal foundation for process modeling |
172
click to vote
FGCN
2008
IEEE
16 years 27 days ago
2008
IEEE
Word sense disambiguation has always been a key problem in Natural Language Processing. In the paper, we use the method of Information Gain to calculate the weight of different po...
150
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
185
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
170
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
142
click to vote
RTS
2010
15 years 4 months ago
2010
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...