9842 search results - page 349 / 1969 » Compositional timing analysis |
148
click to vote
ICDAR
2011
IEEE
14 years 4 months ago
2011
IEEE
— This paper describes a lexicon-driven approach to on-line handwritten Japanese disease name recognition using a time-synchronous method. A trie lexicon is constructed from a di...
156
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Semantic Business Process Management (SBPM) has been proposed as an extension of BPM with Semantic Web and Semantic Web Services (SWS) technologies in order to increase and enhance...
138
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
156
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Several sources of uncertainties in shape boundaries in medical images have motivated the use of probabilistic labeling approaches. Although it is well-known that the sam...
147
click to vote
ICTAC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...