1713 search results - page 32 / 343 » Analysis of Procedure Splitability |
DAS
2006
Springer
14 years 26 days ago
2006
Springer
Abstract. An approach is presented to guide the benchmarking of invoice analysis systems, a specific, applied subclass of document analysis systems. The state of the art of benchma...
ICALP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
RE
2002
Springer
13 years 8 months ago
2002
Springer
The relationship between project selection and requirements analysis is important, yet has not received much attention. The decisions made during project selection directly affect...
WSC
2007
13 years 11 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...