Sciweavers

2335 search results - page 301 / 467
» Type Checking Type Classes
Sort
View
SNPD
2003
15 years 2 months ago
Categorization of Transparent-Motion Patterns Using the Projective Plane
Based on a new framework for the description of N transparent motions we categorize different types of transparent-motion patterns. Confidence measures for the presence of all th...
Cicero Mota, Michael Dorr, Ingo Stuke, Erhardt Bar...
ICONIP
1998
15 years 2 months ago
ECOS: Evolving Connectionist Systems and the ECO Learning Paradigm
The paper presents a framework called ECOS for Evolving COnnectionist Systems. ECOS evolve through incremental learning. They can accommodate any new input data, including new fea...
Nikola K. Kasabov
101
Voted
NIPS
1998
15 years 2 months ago
Learning from Dyadic Data
Dyadic data refers to a domain with two nite sets of objects in which observations are made for dyads, i.e., pairs with one element from either set. This type of data arises natur...
Thomas Hofmann, Jan Puzicha, Michael I. Jordan
AAAI
1996
15 years 2 months ago
A Hybrid Learning Approach for Better Recognition of Visual Objects
Real world images often contain similar objects but with different rotations, noise, or other visual alterations. Vision systems should be able to recognize objects regardless of ...
Ibrahim F. Imam, Srinivas Gutta
209
Voted
AAIP
2009
15 years 1 months ago
Porting IgorII from Maude to Haskell
This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary feature...
Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmi...