1054 search results - page 81 / 211 » From a Verified Kernel towards Verified Systems |
165
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
Searching for small objects (e.g., logos) in images is a critical yet challenging problem. It becomes more difficult when target objects differ significantly from the query object...
159
click to vote
CI
2005
15 years 6 months ago
2005
The TAC 2003 supply-chain game presented automated trading agents with a challenging strategic problem. Embedded within a high-dimensional stochastic environment was a pivotal str...
149
click to vote
COMPSEC
2004
15 years 6 months ago
2004
The long-term preservation of digitally signed documents may be approached and analyzed from various perspectives, i.e. future data readability, signature validity, storage media ...
190
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
Reconstructing transparent objects is a challenging problem. While producing reasonable results for quite complex objects, existing approaches require custom calibration or somewh...
287
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
The overwhelming flow of information in many data stream applications forces many companies to outsource to a third-party the deployment of a Data Stream Management System (DSMS) f...