8874 search results - page 1716 / 1775 » A New Implementation of Automath |
IADIS
2004
13 years 11 months ago
2004
Most Internet services rely on the traditional client-server model, where the quality of services usually depends on the performance of those servers. In this paper, we propose a ...
IADIS
2004
13 years 11 months ago
2004
In the preparation of technology transition, the contextual and alternative definitions of the usability heuristics of multifaceted role of the best practice methodology of Teleco...
FLAIRS
2006
13 years 11 months ago
2006
This paper describes the design and execution of a roboticsthemed AI elective at a small liberal arts institution. An important goal of the course is to spark and nurture students...
ICEB
2004
13 years 11 months ago
2004
Simulations preserve the knowledge of complex dynamic systems and consequently transfer the knowledge of the cohesions of its elements to a specified target group. As the progress...
ICWN
2004
13 years 11 months ago
2004
Peer-to-Peer networks are gaining popularity through file-sharing communities. Most P2P networks demand a certain stability from it's nodes in order to function satisfactory. ...