Sciweavers

1167 search results - page 78 / 234
» Substitution-closed pattern classes
Sort
View
VL
2005
IEEE
135views Visual Languages» more  VL 2005»
15 years 5 months ago
Easing Program Comprehension by Sharing Navigation Data
Large software projects often require a programmer to make changes to unfamiliar source code. This paper describes a set of tools, called Team Tracks, designed to ease program com...
Robert DeLine, Mary Czerwinski, George G. Robertso...
MPC
2004
Springer
97views Mathematics» more  MPC 2004»
15 years 5 months ago
Friends Need a Bit More: Maintaining Invariants Over Shared State
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
Michael Barnett, David A. Naumann
ICDAR
2003
IEEE
15 years 5 months ago
Mirror Image Learning for Autoassociative Neural Networks
This paper studies on the mirror image learning algorithm for the autoassociative neural networks and evaluates the performance by handwritten numeral recognition test. Each of th...
Shusaku Shimizu, Wataru Ohyama, Tetsushi Wakabayas...
ECOOP
1998
Springer
15 years 4 months ago
Predicate Dispatching: A Unified Theory of Dispatch
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
Michael D. Ernst, Craig S. Kaplan, Craig Chambers
97
Voted
BMCBI
2008
160views more  BMCBI 2008»
15 years 17 hour ago
Feature selection environment for genomic applications
Background: Feature selection is a pattern recognition approach to choose important variables according to some criteria in order to distinguish or explain certain phenomena (i.e....
Fabrício Martins Lopes, David Correa Martin...