Sciweavers

4099 search results - page 67 / 820
» First Class Patterns
Sort
View
ESOP
2000
Springer
14 years 15 days ago
A Calculus for Compiling and Linking Classes
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
Kathleen Fisher, John H. Reppy, Jon G. Riecke
CORR
2008
Springer
118views Education» more  CORR 2008»
13 years 9 months ago
Quantifying Homology Classes
We develop a method for measuring homology classes. This involves three problems. First, we define the size of a homology class, using ideas from relative homology. Second, we defi...
Chao Chen, Daniel Freedman
HICSS
2007
IEEE
117views Biometrics» more  HICSS 2007»
14 years 3 months ago
A Cluster-based Approach to Filtering Spam under Skewed Class Distributions
The purpose of this research is to propose an appropriate classification approach to improving the effectiveness of spam filtering on the issue of skewed class distributions. A cl...
Wen-Feng Hsiao, Te-Ming Chang, Guo-Hsin Hu
ICLP
2009
Springer
14 years 9 months ago
One More Decidable Class of Finitely Ground Programs
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
Yuliya Lierler, Vladimir Lifschitz
AUTOMATICA
2006
118views more  AUTOMATICA 2006»
13 years 9 months ago
Diagonal stability of a class of cyclic systems and its connection with the secant criterion
We consider a class of systems with a cyclic interconnection structure that arises, among other examples, in dynamic models for certain biochemical reactions. We first show that a...
Murat Arcak, Eduardo D. Sontag