831 search results - page 68 / 167 » Coalgebraic Correspondence Theory |
186
click to vote
POPL
2006
ACM
16 years 4 days ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
LATA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Learnability is a vital property of formal grammars: representation classes should be defined in such a way that they are learnable. One way to build learnable represent...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, a reformative scatter difference discriminant criterion (SDDC) with fuzzy set theory is studied. The scatter difference between between-class and within-class as di...
MEMOCODE
2007
IEEE
15 years 6 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
101
click to vote
ICMCS
2006
IEEE
15 years 5 months ago
2006
IEEE
Distance metric is widely used in similarity estimation. In this paper we find that the most popular Euclidean and Manhattan distance may not be suitable for all data distribution...