549 search results - page 51 / 110 » Verification condition generation for conditional informatio... |
ICIP
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper starts from a state-of-the-art efficient approach to real-time video object segmentation in the MPEG domain. It then describes several techniques to extend the algorith...
105
Voted
CRITIS
2008
15 years 2 months ago
2008
Abstract. The paper presents a set of control system scenarios implemented in two testbeds developed in the context of the European Project CRUTIAL - CRitical UTility Infrastructur...
146
click to vote
ICSOC
2009
Springer
14 years 10 months ago
2009
Springer
Business processes must become agile, respond to changes in the business environment in a timely manner and quickly adapt themselves to new conditions. Event-Driven Business Proces...
121
click to vote
SIGIR
2008
ACM
15 years 16 days ago
2008
ACM
This paper addresses the issue of query refinement, which involves reformulating ill-formed search queries in order to enhance relevance of search results. Query refinement typica...
106
Voted
CLEF
2007
Springer
15 years 6 months ago
2007
Springer
The CLEF-2007 Cross-Language Speech Retrieval (CL-SR) track included two tasks: to identify topically coherent segments of English interviews in a known-boundary condition, and to...