BibSonomy publications for /concept/tag/algorithmsTue Jul 08 17:32:57 CEST 2008New York, NY, USASCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools75--82Test ready UML statechart models2006path feasible statecharts based testing sensitization model category-partition algorithms tool UML The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as systematic testing and test adequacy. We choose UML Statechart models of behavior as the basis for test generation. This paper attempts to lay a new foundation for UML Statechart based test generation by introducing Test Ready UML Statechart models that can be used by testers in the testing phases just as the conventional UML Statecharts are required during the design and development phases. In order to achieve the goal of automatic test generation based on UML Statecharts, we identify what is required over and above UML Statecharts for testers to specify so that the resulting test ready models are amenable for automatic generation of executable test scripts. The test generation problem from a Test Ready UML Statechart is solved by determining all the sentential forms derivable from an equivalent extended context free grammar model.Mon Jul 07 11:56:06 CEST 2008Algorithmic Game Theory2007computer_science game_theory algorithms economics mechanism_design Thu Jun 26 19:34:30 CEST 2008K-CAPconf/kcap/2007167-168Automated story capture from internet weblogs.2007automated blogs story read:2008 paper n-gram capture svm extraction Sat Jun 21 18:52:26 CEST 2008Center for Intelligent Information Retrieval, Technical Report IRAutomatic Categorization of Email into Folders: Benchmark Experiments on Enron and SRI Corpora4182004ir categorization email read:2008 retrieval classification enron paper sri algorithms automatic benchmark winnow information bayes folders svm Office workers everywhere are drowning in email—not only spam, but also large quantities of legitimate email to be read and organized for browsing. Although there have been extensive investigations of automatic document categorization, email gives rise to a number of unique challenges, and there has been relatively little study of classifying email into folders. This paper presents an extensive benchmark study of email foldering using two large corpora of real-world email messages and foldering schemes: one from former Enron employees, another from participants in an SRI research pro ject. We discuss the challenges that arise from differences between email foldering and traditional document classification. We show experimental results from an array of automated classification methods and evaluation methodologies, including a new evaluation method of foldering results based on the email timeline, and including enhancements to the exponential gradient method Winnow, providing top-tier accuracy with a fraction the training time of alternative methods. We also establish that classification accuracy in many cases is relatively low, confirming the challenges of email data, and pointing toward email foldering as an important area for further research.Thu Jun 19 17:46:40 CEST 2008University of Wisconsin, Madison, Wisconsin, USAGenetic Programming 1998: Proceedings of the Third Annual Conference22-25 July559--566Deceptive and Other Functions of Unitation as Bayesian Networks1998algorithms genetic Thu Jun 19 17:46:40 CEST 2008Orlando, Florida, USAProceedings of the Genetic and Evolutionary Computation Conference13-17 July409--416Probabilistic Crowding: Deterministic Crowding with Probabilisitic Replacement11999and algorithms genetic systems classifier Thu Jun 19 17:46:40 CEST 2008Orlando, Florida, USALate Breaking Papers at the 1999 Genetic and Evolutionary Computation Conference13 July184--192Finding a needle in a haystack using hints and evolutionary computation: The case of Genetic Mastermind1999Genetic Algorithms Thu Jun 19 17:46:40 CEST 2008Orlando, Florida, USAProceedings of the Genetic and Evolutionary Computation Conference13-17 July417--424Genetic Algorithms for Binary Quadratic Programming11999and systems classifier genetic algorithms Thu Jun 19 17:46:40 CEST 2008Stanford, California, 94305-3079 USAGenetic Algorithms and Genetic Programming at Stanford 199915 March164--173Evolution of a Time-Optimal Minimal Spanning Network Using Genetic Algorithms1999algorithms genetic Thu Jun 19 17:46:40 CEST 2008Orlando, Florida, USAProceedings of the Genetic and Evolutionary Computation Conference13-17 July425--432Randomness and {GA} Performance, Revisited11999genetic and systems classifier algorithms Thu Jun 19 17:46:40 CEST 2008Stanford, California, 94305-3079 USAGenetic Algorithms and Genetic Programming at Stanford 2000June286--295Co-Evolution of Communication in a Competitive Setting2000algorithms genetic Thu Jun 19 17:46:40 CEST 2008Stanford, California, 94305-3079 USAGenetic Algorithms and Genetic Programming at Stanford 199915 March174--183Custom Genetic Operators for the Euclidean Steiner Tree Problem1999genetic algorithms Thu Jun 19 17:46:40 CEST 2008Orlando, Florida, USAProceedings of the Genetic and Evolutionary Computation Conference13-17 July799The Entropy Evaluation Method for the Thermodynamical Selection Rule11999poster genetic classifier and papers systems, algorithms Thu Jun 19 17:46:40 CEST 2008Orlando, Florida, USAProceedings of the Genetic and Evolutionary Computation Conference13-17 July798Using Genetic Algorithms For Adaptive Function Approximation and Mesh Generation11999systems, and classifier poster algorithms papers genetic Thu Jun 19 17:46:40 CEST 2008Stanford, California, 94305-3079 USAGenetic Algorithms and Genetic Programming at Stanford 2002June158--167Solving the Generalized Graph Search Problem with Genetic Algorithms2002genetic algorithms Thu Jun 19 17:46:40 CEST 2008Stanford, California, 94305-3079 USAGenetic Algorithms and Genetic Programming at Stanford 2002June168--176A Genetic Algorithm using Changing Environments for Pathfinding in Continuous Domains2002algorithms genetic Thu Jun 19 17:46:40 CEST 2008Stanford University, CA, USAGenetic Programming 1997: Proceedings of the Second Annual Conference13-16 July379Genetic Algorithms In Optimization of Adjacency Constrained Timber Harvest Scheduling Problems1997Algorithms Genetic Thu Jun 19 17:46:40 CEST 2008Orlando, Florida, USAProceedings of the Genetic and Evolutionary Computation Conference13-17 July433--440Identifying Linkage Groups by Nonlinearity/Non-monotonicity Detection11999algorithms systems and classifier genetic Thu Jun 19 17:46:40 CEST 2008Orlando, Florida, USAProceedings of the Genetic and Evolutionary Computation Conference13-17 July441--448Specification of Local Search Directions in Genetic Local Search Algorithms for Multi-Objective Optimization Problems11999classifier genetic and systems algorithms Thu Jun 19 17:46:40 CEST 2008Stanford, California, 94305-3079 USAGenetic Algorithms and Genetic Programming at Stanford 2002June177--186On the Application of Genetic Algorithms to Scheduling Engineering Design Projects2002genetic algorithms