Sciweavers

4609 search results - page 371 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
RISE
2005
Springer
16 years 7 days ago
Software Testing with Evolutionary Strategies
Abstract. This paper applies the Evolutionary Strategy (ES) metaheuristic to the automatic test data generation problem. The problem consists in creating automatically a set of inp...
Enrique Alba, J. Francisco Chicano
SIGIR
2004
ACM
16 years 5 days ago
Implicit queries (IQ) for contextualized search
The Implicit Query (IQ) prototype is a system which automatically generates context-sensitive searches based on a user’s current computing activities. In the demo, we show IQ ru...
Susan T. Dumais, Edward Cutrell, Raman Sarin, Eric...
PEPM
2004
ACM
16 years 3 days ago
Declarative specialization for object-oriented-program specialization
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
Helle Markmann Andersen, Ulrik Pagh Schultz
LAWEB
2003
IEEE
16 years 18 hour ago
Using Association Rules to Discover Search Engines Related Queries
This work presents a method for automatic generate suggestions of related queries submitted to Web search engines. The method extracts information from the log of past submitted q...
Bruno M. Fonseca, Paulo Braz Golgher, Edleno Silva...
DAGM
2003
Springer
15 years 12 months ago
Localization of Piled Boxes by Means of the Hough Transform
Automatic unloading of piled boxes of unknown dimensions is undoubtedly of great importance to the industry. In this contribution a system addressing this problem is described: a l...
Dimitrios Katsoulas