Historically one of the visions for human-computer symbiosis has been to augment human intelligence and extend people's cognitive abilities. In this paper, we present two vis...
Lena Mamykina, Elizabeth D. Mynatt, Michael A. Ter...
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Vo...
In this paper the development of an intelligent image content-based search engine for the World Wide Web is presented. Information Web Crawlers continuously traverse the Internet ...
Ioannis Kompatsiaris, Evangelia Triantafyllou, Mic...
—There is a need for wearable sensors to assess physiological signals and body kinematics during exercise. Such sensors need to be straightforward to use, and ideally the complet...
Shirley Coyle, Deirdre Morris, King Tong Lau, Derm...
Although managerial issues of data warehousing and business intelligence received considerable attention in recent years, the strategy process has not often been investigated. Thi...