Sciweavers

4745 search results - page 370 / 949
» Discretization: An Enabling Technique
Sort
View
TACAS
2005
Springer
106views Algorithms» more  TACAS 2005»
16 years 7 days ago
Dependent Types for Program Understanding
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
Raghavan Komondoor, Ganesan Ramalingam, Satish Cha...
ECAI
2004
Springer
16 years 5 days ago
An Interactive System for Hiring and Managing Graduate Teaching Assistants
In this paper, we describe a system for managing the hiring and assigning of Graduate Teaching Assistants (GTAs) to academic tasks based on the GTAs qualifications, preferences, a...
Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choue...
EUROPAR
2004
Springer
16 years 5 days ago
More Legal Transformations for Locality
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
Cédric Bastoul, Paul Feautrier
GECCO
2004
Springer
16 years 5 days ago
GA-Facilitated Knowledge Discovery and Pattern Recognition Optimization Applied to the Biochemistry of Protein Solvation
Abstract. The authors present a GA optimization technique for cosinebased k-nearest neighbors classification that improves predictive accuracy in a class-balanced manner while sim...
Michael R. Peterson, Travis E. Doom, Michael L. Ra...
SIGADA
2004
Springer
16 years 3 days ago
A refactoring tool for Ada 95
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
Paul Anderson