Sciweavers

27827 search results - page 170 / 5566
» Generating
Sort
View
ICALP
2005
Springer
15 years 5 months ago
Simple Extractors via Constructions of Cryptographic Pseudo-random Generators
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...
Marius Zimand
ICWE
2005
Springer
15 years 5 months ago
Towards Model-Driven Testing of a Web Application Generator
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
Luciano Baresi, Piero Fraternali, Massimo Tisi, Sa...
ISMIR
2005
Springer
120views Music» more  ISMIR 2005»
15 years 5 months ago
User Evaluation of a New Interactive Playlist Generation Concept
Selecting the ‘right’ songs and putting them in the ‘right’ order are key to a great music listening or dance experience. ‘SatisFly’ is an interactive playlist generat...
Steffen Pauws, Sander van de Wijdeven
MDAI
2005
Springer
15 years 5 months ago
Language Generation for Conversational Agent by Evolution of Plan Trees with Genetic Programming
As dialogue systems are widely demanded, the research on natural language generation in dialogue has raised interest. Contrary to conventional dialogue systems that reply to the us...
Sungsoo Lim, Sung-Bae Cho
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
15 years 5 months ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...