632 search results - page 85 / 127 » An Analysis of Search Engine Use for Travel Planning |
118
click to vote
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
JAR
2006
14 years 12 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
105
click to vote
ADAEUROPE
2003
Springer
15 years 5 months ago
2003
Springer
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...
CLEF
2006
Springer
15 years 3 months ago
2006
Springer
We here describe the subword approach we used in the 2006 ImageCLEF Medical Image Retrieval task. It is based on the assupmtion that neither fully inflected nor automatically stem...
IUI
2009
ACM
15 years 8 months ago
2009
ACM
Identifying highlights in multimedia content such as video and audio is currently a very difficult technical problem. We present and evaluate a novel algorithm that identifies hig...