Search
Skip to Search Results- 414Computing Science, Department of
- 315Computing Science, Department of/Technical Reports (Computing Science)
- 71Computing Science, Department of/Conference Papers (Computing Science)
- 23Computing Science, Department of/Journal Articles (Computing Science)
- 4Computing Science, Department of/Research Data and Materials (Computing Science)
- 1Computing Science, Department of/Presentations (Computing Science)
- 95Hindle, Abram
- 28Szafron, Duane
- 21Schaeffer, Jonathan
- 19Zaiane, Osmar
- 15Ozsu, M. Tamer
- 14Nascimento, Mario
- 29Database Systems
- 18Artificial Intelligence
- 13Computer Games
- 9Computer Graphics
- 9Databases
- 9Software Engineering
-
2004
Hernadvolgyi, Istvan, Holte, Robert
Technical report TR04-02. The long-term goal of our research is to develop robust methods that use abstraction to create heuristics automatically from a description of a search space. Our research has progressed significantly towards this goal. This paper reviews the current state of the art, and...
-
2011
Technical report TR11-01. Causality is a fundamental concept in reasoning. The effectiveness of many reasoning tasks depends on the understanding of the underlying cause-effect relationships. Therefore, the notion of causality has been explored in a wide range of disciplines. Causal discovery,...
-
Support for Document Entry in a Multimedia Database
1996
Technical report TR96-23. This Technical Report describes a document entry system that supports the automatic insertion of documents with arbitrary types into a multimedia database. The documents conform to the international standards of SGML and HyTime. This is achieved by instantiating objects...
-
SWARMED: Captive Portals, Mobile Devices, and Audience Participation in Multi-User Music Performance
Download2013
Audience participation in computer music has long been limited by resources such as sensor technology or the material goods necessary to share such an instrument. A recent paradigm is to take advantage of the incredible popularity of the smart-phone, a pocket sized computer, and other mobile...
-
2018
Santos, E.A., Campbell, J.C., Patel, D., Hindle, Abram, Amaral, J.N.
Syntax errors are made by novice and experienced programmers alike; however, novice programmers lack the years of experience that help them quickly resolve these frustrating errors. Standard LR parsers are of little help, typically resolving syntax errors and their precise location poorly. We...
-
Syntax and Stack Overflow: A Methodology for Extracting a Corpus of Syntax Errors and Fixes
Download2019
Wong, A.W., Salimi, A., Chowdhury, S.A., Hindle, Abram
One problem when studying how to find and fix syntax errors is how to get natural and representative examples of syntax errors. Most syntax error datasets are not free, open, and public, or they are extracted from novice programmers and do not represent syntax errors that the general population...
-
2014
Campbell, J., Hindle, Abram, Amaral, J.N.
A frustrating aspect of software development is that compiler error messages often fail to locate the actual cause of a syntax error. An errant semicolon or brace can result in many errors reported throughout the file. We seek to find the actual source of these syntax errors by relying on the...
-
TaMeX: A Task-structure Based Mediation Architecture for Integration of Web Applications Using XML
Download2001
Technical report TR01-07. Nowadays, there exists an enormous number of Web-based applications that offer information and services in support of a variety of a ctivities. These services can be competitive or complementary. Nevertheless, as they do not interoperate, it is up to the user to ac cess...
-
2003
Technical report TR03-17. A rapidly increasing number of services is available on the World Wide Web, which has given rise to a great challenge: to enable the interoperation of these services in the context of high-quality, integrated applications, providing customized value-added services to the...
-
1994
Technical report TR94-14. Linear Objects (LO) of Andreoli and Pareschi is the first proposal to integrate object-oriented programming into logic programming based on Girard's Linear Logic (LL). In LO each object is represented by a separate open node of a proof tree. This \"insulates\" objects...