419 search results - page 61 / 84 » Automatic Synthesis of Real Time Systems |
100
click to vote
BMVC
2000
15 years 3 months ago
2000
Vision-based systems for remote surveillance usually involve change detection algorithms for intruders, obstacles or irregularities detection. In particular, there is a potentiall...
109
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
We introduce a method for learning query transformations that improves the ability to retrieve answers to questions from an information retrieval system. During the training stage...
134
click to vote
JIT
2004
Springer
15 years 7 months ago
2004
Springer
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...
121
click to vote
ICDAR
2005
IEEE
15 years 7 months ago
2005
IEEE
Automatic text recognition from natural images receives a growing attention because of potential applications in image retrieval, robotics and intelligent transport system. Camera...
145
click to vote
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...