3605 search results - page 161 / 721 » Associated types with class |
117
click to vote
IEAAIE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
129
Voted
CADE
2006
Springer
15 years 7 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
145
Voted
ICMI
2000
Springer
15 years 7 months ago
2000
Springer
- In this paper, we describe a new Chinese character recognition system, in which neural networks are employed as a nonlinear pre-classifier to pre-classify similar Chinese charact...
112
click to vote
MOC
2000
15 years 3 months ago
2000
Abstract. There has been important progress in constructing units and Sunits associated to curves of genus 2 or 3. These approaches are based mainly on the consideration of propert...
158
click to vote
TSE
2008
15 years 3 months ago
2008
The metrics formulated to date for characterizing the modularization quality of object-oriented software have considered module and class to be synonymous concepts. But, a typical ...