580 California St., Suite 400
San Francisco, CA, 94104
Inference making is an essential but complex skill in reading comprehension (RC). Some inferences require resolving references across sentences, and some rely on using prior knowledge to fill in the detail that is not explicitly written... more
Application of a multimodality imaging approach is advantageous for detection, diagnosis, and management of many ailments. Display is limited to two or three dimensions when using spatial relationships alone. The use of color, in addition... more
Performing exercises in a simulation-based environment is a convenient and cost-effective way of learning spatial tasks. However, training systems that offer such environments lack models for the assessment of learner's spatial... more
The Level Generation Competition, part of the IEEE CIS-sponsored 2010 Mario AI Championship, was to our knowledge the world's first procedural content generation competition. Competitors participated by submitting level generators... more
Non-photorealistic rendering has become an important research topics in computer graphics in recent years. We have previously proposed a non-photorealistic rendering method to generate Suibokuga-like images of trees. This method was... more
Non-photorealistic rendering has become an important research topics in computer graphics in recent years. We have previously proposed a non-photorealistic rendering method to generate Suibokuga-like images of trees. This method was... more
Texture is one of the most important features for object detection and recognition. In many applications, it is derived from the responses of texture filters. In this paper, we evaluate the potential of seven texture filter banks for the... more
A way to automatically generate fuzzy controllers (FCs) that are optimized according to a merit figure is presented in this article. To achieve this task, a procedure based on hierarchical genetic algorithms (HGA) was developed. This... more
Many tools can be automatically derived from formal language definitions, such as compilers/interpreters, editors, analyzers, visualizers/animators, etc. Some examples of languagebased tools generated automatically by the LISA system are... more
A computer software tool for the automatic generation of steady-state process models to be used in instrumentation analysis was developed. We describe the program, called ModGen, discussing its main advantages and potential bene®ts.... more
Instrumentation is a technique frequently used in software engineering for several different purposes, e.g. program and/or specification execution trace, testing criteria coverage analy- sis, and reverse engineering. Instrumenting a... more
The increasing demand for larger and more complex virtual models arising from different areas (e.g. design of virtual cities, video games and computer animated movies) creates the need for efficient computer algorithms able to generate... more
The use of property classi cations and patterns, i.e., high-level abstractions that describe common behavior, have been shown to assist practitioners in generating formal speci cations that can be used in formal veri cation techniques.... more
Safety Instrumented Systems (SIS) are designed to prevent accidents, avoid undesirable situations and guarantee continuous operation of oil and gas production systems. An interruption in the operation can be caused by faults in sensors... more
Multi-Processor Systems-on-Chip (MPSoCs) keeps rising, on-chip communication becomes more and more important. In order to write efficient programs for these architectures, it is therefore necessary to have a good idea of the communication... more
Multi-Processor Systems-on-Chip (MPSoCs) keeps rising, on-chip communication becomes more and more important. In order to write efficient programs for these architectures, it is therefore necessary to have a good idea of the communication... more
While the number of cores in both embedded Multi-Processor Systems-on-Chip and general purpose processors keeps rising, on-chip communication becomes more and more important. In order to write efficient programs for these architectures,... more
Web services consist in series of message exchanges that must conform to service interfaces. The study reported in this text aims at dealing with the issues that arise when interactions between two services (a client and a provider) fail... more
New alloy developments such as γ-TiAl aim at weight reduction and improvement of performance capabilities of aircraft engines. A drawback of TiAl is its low fluidity, which easily leads to misruns during the casting process. In this work... more
One of the major difficulties in software testing is the automatic generation of test data that satisfy a given adequacy criterion. This paper presents an automatic test data generation technique that uses a genetic algorithm (GA), which... more
ABSTRACTThe Kinetic Monte Carlo (KMC) method has become an important tool for examination of phenomena like surface diffusion and thin film growth because of its ability to carry out simulations for time scales that are relevant to... more
The feature interaction problem has been recognized as a general problem of software engineering, whenever one wants to reap the advantages of incremental development. In this context, a feature is a unit of change to be integrated in a... more
Database systems for computer-aided design (CAD) are characterised by structural complexity and nonstandard relationship types. Integrity constraints typically describe the semantics of these relationships. Enforcing such constraints in... more
Automatic question generation refers to the idea of creating questions automatically from the text provided rather than manually creating questions for the student evaluation technique. The six stages of AQG are text pre-processing,... more
The test phase is one of the most important phases in software development. However, in practice, little research has been carried out in this field. Model-Driven Engineering is a new paradigm that can help to minimize test cases... more
We describe Maple packages for the automatic generation of generating functions(and series expansions) for counting lattice animals(fixed polyominoes), in the two-dimensional hexagonal lattice, of bounded but arbitrary width. Our Maple... more
Web Service technologies offer a successful way for interoperability among web applications. However, current approaches do not propose an acceptable method to decouple non-functional properties from Web Service implementations, leaving... more
This paper presents an environment which generates tests automatically. It is designed for assistance in the software engineering education and is part of the Virtual Education Space. The environment has two functionalities – generation... more
Multilevel converters can meet the increasing demand of power ratings and power quality associated with reduced harmonic distortion and lower electromagnetic interference. When the number of levels increases, it is necessary to control... more
Analytica V is a theorem proving system that is built on top of the symbolic computation system Mathematica. It was originally designed by E. Clarke and X. Zhao in the early 1990's. We describe here a redesign of the system that extends... more
Human teaching strategies are usually inferred from transcripts of face-to-face conversations or computer-mediated dialogs between learner and tutor. However, during natural interactions there are no constraints on the human tutor's... more
The techniques of automatic classification of handwritten signatures have been studied and some of them are based on the application of neuronal nets or statistical methods. Nevertheless, the great number of samples required by these... more
Recent studies focused on the achievement of autonomy of exploration spacecrafts, such as Mars rovers. The traditional approach for on-board FDIR (Fault Detection, Identification and Recovery) is based on the run-time observation of the... more
This paper presents a general meta-optimization approach for improving self-optimization in autonomic systems. This approach can improve optimization performance and lower costs by reducing human effort needed to tune optimization... more
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, throughput, and security. This paper presents a framework that... more
A new model for automatic generation of Evolutionary Algorithms (EAs) by evolutionary means is proposed in this paper. The model is based on a simple Genetic Algorithm (GA). Every GA chromosome encodes an EA, which is used for solving a... more
A new model for automatic generation of Evolutionary Algorithms (EAs) by evolutionary means is proposed in this paper. The model is based on a simple Genetic Algorithm (GA). Every GA chromosome encodes an EA, which is used for solving a... more
A 8-bit 5GS/s streak simple to-advanced converter (ADC) is composed and reproduced in a 0.18μm CMOS innovation. Low-swing operation both in the simple and the computerized hardware brings about fast low power operation. The ADC disperses... more
This paper concerns a framework for building interactive speech-based language learning games. The core of the framework, the "dialogue manager," controls the game procedure via a control script. The control script allows the developers... more
How can state-of-the-art computational linguistic technology reduce the workload and increase the efficiency of language teachers? To address this question, we combine insights from research in second language acquisition and... more
Effective automatic summarization usually requires simulating human reasoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in the particular case of surveillance of the... more
There is a critical need for a common evaluation methodology for distributed denial-of-service (DDoS) defenses, to enable their independent evaluation and comparison. We describe our work on developing this methodology, which consists of:... more
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologies become more complex. This paper describes a way to avoid... more
From rule-based to statistical grammars: Continuous improvement of large-scale spoken dialog systems
Statistical Spoken Language Understanding grammars (SSLUs) are often used only at the top recognition contexts of modern large-scale spoken dialog systems. We propose to use SSLUs at every recognition context in a dialog system,... more
The applicability of evolutionary algorithms in software testing has been an area of importance for many researchers. In this paper, we have studied the implementation of one such evolutionary algorithm namely genetic algorithm. Genetic... more
A system is described that supports the dynamic generation of conceptual browsing interfaces. These interfaces are comprised of interacting visual components that contain different views onto a concept space that can be modeled as nodes... more