2 search results - page 1 / 1 » Optimising Enabling Tests and Unfoldings of Algebraic System... |
APN
2001
Springer
13 years 9 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
13 years 6 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 ...