Sciweavers

579 search results - page 52 / 116
» Intersecting Classes and Prototypes
Sort
View
FM
1994
Springer
113views Formal Methods» more  FM 1994»
13 years 12 months ago
Abstract Model Checking of Infinite Specifications
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
Daniel Jackson
CASCON
2006
136views Education» more  CASCON 2006»
13 years 9 months ago
Workload adaptation in autonomic DBMSs
Workload adaptation is a performance management process in which an autonomic database management system (DBMS) efficiently makes use of its resources by filtering or controlling ...
Baoning Niu, Patrick Martin, Wendy Powley, Randy H...
NIPS
1998
13 years 9 months ago
Making Templates Rotationally Invariant. An Application to Rotated Digit Recognition
This paper describes a simple and efficient method to make template-based object classification invariant to in-plane rotations. The task is divided into two parts: orientation di...
Shumeet Baluja
CATA
2009
13 years 9 months ago
Nearest Shrunken Centroid as Feature Selection of Microarray Data
The nearest shrunken centroid classifier uses shrunken centroids as prototypes for each class and test samples are classified to belong to the class whose shrunken centroid is nea...
Myungsook Klassen, Nyunsu Kim
SIGCSE
2008
ACM
169views Education» more  SIGCSE 2008»
13 years 7 months ago
APOGEE: automated project grading and instant feedback system for web based computing
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
Xiang Fu, Boris Peltsverger, Kai Qian, Lixin Tao, ...