منابع مشابه
Automatic Generation of Agent Behavior Models from Raw Observational Data
Agent-based modeling is used to simulate human behaviors in different fields. The process of building believable models of human behavior requires that domain experts and Artificial Intelligence experts work closely together to build custom models for each domain, which requires significant effort. The aim of this study is to automate at least some parts of this process. We present an algorithm...
متن کاملCode Generation Techniques for Raw Data Processing
The motivation of the current study was to design an algorithm that can speed up the processing of a query. The important feature is generating code dynamically for a specific query. We present the technique of code generation that is applied to query processing on a raw file. The idea was to customize a query program with a given query and generate a machine- and query-specific source code. Th...
متن کاملAutomated Software Test Data Generation
Abstracr-Test data generation in program testing is the process of identifying a set of test data which satisfies given testing criterion. Most of the existing test data generators 161, [It], [lo], [16], [30] use symbolic evaluation to derive test data. However, in practical programs this technique frequently requires complex algebraic manipulations, especially in the presence of arrays. In thi...
متن کاملData In, Fact Out: Automated Monitoring of Facts by FactWatcher
Towards computational journalism, we present FactWatcher, a system that helps journalists identify data-backed, attention-seizing facts which serve as leads to news stories. FactWatcher discovers three types of facts, including situational facts, one-of-the-few facts, and prominent streaks, through a unified suite of data model, algorithm framework, and fact ranking measure. Given an appendonly...
متن کاملAutomated Test-Data Generation from Formal Models of Software
ion for Model Checking Software Systems with In-terrelated Numeric Constraints. In 9th ACM Foundations of Sofware Eng. Symp., September 2001.[2] M. P. E. Heimdahl, S. Rayadurgam, and W. Visser. Specification Centered Testing. In 2nd Automated Program Analysis,Testing and Verification Workshop, May 2001.[3] S. Rayadurgam and M. P. E. Heimdahl. Coverage Based TestCase Generation U...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1999
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00134-3