2282 search results - page 423 / 457 » Active property checking |
DIS
2010
Springer
13 years 8 months ago
2010
Springer
Identifying the characteristics of biological systems through physical experimentation, is restricted by the resources available, which are limited in comparison to the size of the...
EUROMED
2010
13 years 7 months ago
2010
A map series of 1920s Mytilene town, property of Lesvos Archives, had been inaccessible due to its poor condition. One map of this series was restored, scanned, digitised and given...
CORR
2009
Springer
13 years 7 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
ICDAR
2009
IEEE
13 years 7 months ago
2009
IEEE
Detection of curled textline is important for dewarping of hand-held camera-captured document images. Then baselines and the lines following the top of x-height of characters (x-l...
ICSOC
2009
Springer
13 years 7 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...