4693 search results - page 18 / 939 » Verifying Hybrid Systems |
90
Voted
IFIP8
2007
15 years 1 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
ESORICS
2008
Springer
15 years 2 months ago
2008
Springer
The ubiquitous proliferation of mobile devices has given rise to novel user-centric application and services. In current mobile systems, users gain access to remote service provide...
103
Voted
CVPR
2003
IEEE
16 years 2 months ago
2003
IEEE
Motion blur due to camera motion can significantly degrade the quality of an image. Since the path of the camera motion can be arbitrary, deblurring of motion blurred images is a ...
107
Voted
KAIS
2008
15 years 12 days ago
2008
Abstract Vector data and in particular road networks are being queried, hosted and processed in many application domains such as in mobile computing. Many client systems such as PD...
SSPR
2004
Springer
15 years 5 months ago
2004
Springer
Off-line handwritten numeral recognition is a very difficult task. It is hard to achieve high recognition results using a single set of features and a single classifier, since hand...