2215 search results - page 12 / 443 » Rationality and Digital Technology |
MKM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
69
Voted
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
This paper describes the Active Reading task, a recent addition to the INEX Book Search track1 . This task aims at exploring how people interact with e-books in different scenario...
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
Knowledge management is the key area of focus in the present information technology scenario. It forms a basis to derive standards and models and steers organizations through an e...
GECON
2008
Springer
14 years 10 months ago
2008
Springer
The application of autonomous agents by the provisioning and usage of computational resources is an attractive research field. Various methods and technologies in the area of arti...
ISPEC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. With the increased use of Internet and information technology all over the world, there is an increased amount of criminal activities that involve computing and digital d...