1846 search results - page 76 / 370 » Generating query substitutions |
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Abstract-- Cisco's NetFlow Collector (NFC) is a powerful example of a real-world product that supports multiple aggregate queries over a continuous stream of IP flow records. ...
IWMMDBMS
1998
13 years 9 months ago
1998
: In recent years the fusion of multimedia information from multiple real-time sources and databases has become increasingly important because of its practical significance in many...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
In this paper, we present an example-based facial sketch system. Our system automatically generates a sketch from an input image, by learning from example sketches drawn with a pa...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
We investigate the automatic generation of topic pages as an alternative to the current Web search paradigm. We describe a general framework, which combines query log analysis to ...