2765 search results - page 218 / 553 » Works and representation |
169
click to vote
MKM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
157
click to vote
DIGRA
2003
Springer
16 years 1 days ago
2003
Springer
The Diverse Worlds Project analysed 130 computer and video games (CVGs) to understand their textual landscape. Titles were sampled from the five gaming platforms dominant in 2002....
230
click to vote
GECCO
2003
Springer
16 years 1 days ago
2003
Springer
Complex representation in Genetic Algorithms and pattern in real problems limits the effect of crossover to construct better pattern from sporadic building blocks. Instead of intro...
237
click to vote
CBMS
2002
IEEE
15 years 11 months ago
2002
IEEE
The need for systems that can stock, represent, and provide efficient retrieval facilities of images of particular interest is becoming very high in medicine. In this respect, a l...
186
Voted
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
Through a study of web site design practice, we observed that web site designers employ multiple representations of web sites as they progress through the design process, and that...