Sciweavers

1419 search results - page 162 / 284
» A Characterization of Constructive Dimension
Sort
View
CSL
2001
Springer
15 years 11 months ago
Life without the Terminal Type
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
Lutz Schröder
IJCNN
2000
IEEE
15 years 11 months ago
Computational Intelligence in Adaptive Educational Hypermedia
In this paper neuro-fuzzy synergism is applied to implement content sequencing in adaptive hypermedia systems. The level of understanding of the learner is used to construct lesson...
Kyparisia A. Papanikolaou, George D. Magoulas, Mar...
IV
2000
IEEE
123views Visualization» more  IV 2000»
15 years 11 months ago
Content-Based Image Visualization
The proliferation of content-based image retrieval techniques has highlighted the need to understand the relationship between image clustering based on low-Ievel imagefeatures and...
Chaomei Chen, George Gagaudakis, Paul L. Rosin
KBSE
2000
IEEE
15 years 11 months ago
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
Sarfraz Khurshid, Daniel Jackson
ICDAR
1999
IEEE
15 years 10 months ago
Information Theoretic Analysis of Postal Address Fields for Automatic Address Interpretation
This paper concerns a study of information content in postal address fields for automatic address interpretation. Information provided by a combination of address components and i...
Sargur N. Srihari, Wen-jann Yang, Venu Govindaraju