2 search results - page 1 / 1 » Optimising Enabling Tests and Unfoldings of Algebraic System... |
APN
2001
Springer
15 years 2 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
ASC
2000
14 years 11 months ago
2000
The improved performance of computer-based text analysis represents a major step forward for knowledge management. Reliable text interpretation allows focus to be placed upon the ...