1240 search results - page 109 / 248 » Composition with Target Constraints |
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
The segmentation and recognition modules are usually implemented sequentially in most traditional automatic license recognition (LPR) systems. In this work, we integrate segmentat...
ICPR
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper a composite framework for collaborative working is presented. The framework includes real-time motion tracking based on computer vision from standard webcams situate...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
138
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
AINA
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...