492 search results - page 14 / 99 » A large-scale study of robots.txt |
ECTEL
2006
Springer
14 years 1 months ago
2006
Springer
All students of the Hellenic Open University (HOU) attend undergraduate and postgraduate courses at a distance. The lack of a live academic community is reported by many as a drawb...
ECIS
2000
13 years 11 months ago
2000
: Economic theory and business strategists have pointed at the phenomenon of positive externalities and the related enabling and constraining aspects of an installed base. For inst...
HICSS
2010
IEEE
13 years 9 months ago
2010
IEEE
We present a new interface for exploring and navigating large-scale discussions on the internet. Our system, tldr, focuses on three primary user goals: finding, navigating and fil...
ENTCS
2006
13 years 9 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
IJBC
2008
13 years 9 months ago
2008
CL_MATCONT is a MATLAB package for the study of dynamical systems and their bifurcations. It uses a minimally augmented system for continuation of the Hopf curve. The Continuation...