Sciweavers

9507 search results - page 1560 / 1902
» Time-based language models
Sort
View
ISSRE
2003
IEEE
16 years 3 hour ago
Requirements by Contracts allow Automated System Testing
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
Clémentine Nebut, Franck Fleurey, Yves Le T...
LAWEB
2003
IEEE
16 years 1 hour ago
Collaborative Learning and Creative Writing
CSCL software tools must provide support for group work and should be based on a collaborative learning technique. The PBL based CCCuento tool is introduced here. It is intended t...
Luis A. Guerrero, Boris Mejías, Césa...
LICS
2003
IEEE
16 years 1 hour ago
Revisiting Digitization, Robustness, and Decidability for Timed Automata
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
Joël Ouaknine, James Worrell
MEMOCODE
2003
IEEE
16 years 1 hour ago
Optimizations for Faster Execution of Esterel Programs
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
Dumitru Potop-Butucaru, Robert de Simone
SIGIR
2003
ACM
15 years 12 months ago
Generating hierarchical summaries for web searches
Hierarchies provide a means of organizing, summarizing and accessing information. We describe a method for automatically generating hierarchies from small collections of text, and...
Dawn J. Lawrie, W. Bruce Croft
« Prev « First page 1560 / 1902 Last » Next »