8021 search results - page 1333 / 1605 » Budget Management with Applications |
162
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper summarizes the task design for iCLEF 2006 (the CLEF interactive track). Compared to previous years, we have proposed a radically new task: searching images in a natural...
197
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
214
click to vote
CRV
2006
IEEE
15 years 10 months ago
2006
IEEE
While the geometric aspects of structure and motion estimation from uncalibrated images are well understood, and it has great promise in applications, it has not seen widespread u...
159
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The libre software development model has shown how combining collective intelligence can lead to revolutionary methods that underpin major software advancements. This pap...
185
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Recent research efforts in the fields of data stream processing and data stream management systems (DSMSs) show the increasing importance of processing data streams, e. g...