4047 search results - page 180 / 810 » Some Properties and Some Problems on Set Functors |
176
click to vote
IPM
2007
15 years 6 months ago
2007
This papers studies a special “small” information retrieval problem where user satisfaction only depends on the ordering of documents. We look for a retrieval performance meas...
174
click to vote
IEEEICCI
2005
IEEE
15 years 12 months ago
2005
IEEE
The study of concept formation and learning is a central topic in cognitive informatics. Formal concept analysis can be viewed as an approach on this topic based on a formal conte...
151
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
A cellular automaton (CA) is a parallel synchronous computing model, which consists in a juxtaposition of finite automata (cells) whose state evolves according to that of their ne...
155
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
183
click to vote
ECOOP
2005
Springer
15 years 12 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...