2487 search results - page 83 / 498 » cases 2009 |
153
click to vote
FMCO
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
101
click to vote
ICC
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--We present and analyze two different power allocation strategies for considerably improving the average bit error rate (BER) performance of wireless multihop systems with...
148
Voted
ICDAR
2009
IEEE
14 years 10 months ago
2009
IEEE
Segmentation of ancient documents is challenging. In the worst cases, text characters become fragmented as the results of strong degradation processes. New active contour methods ...
103
click to vote
ICDAR
2009
IEEE
14 years 10 months ago
2009
IEEE
Despite ubiquitous claims that optical character recognition (OCR) is a "solved problem," many categories of documents continue to break modern OCR software such as docu...
104
Voted
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
This paper motivates a novel metamodel and methodology for specifying cross-organizational business interactions that is based on Tropos. Current approaches for business modeling a...