972 search results - page 149 / 195 » Intersection types and computational effects |
SETN
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a robust, automated registration algorithm, which may be applied to several types of medical images, including CTs, MRIs, Xrays, Ultrasounds and dermatological ...
CGI
2003
IEEE
14 years 2 months ago
2003
IEEE
High quality, virtual 3D models are quickly emerging as a new multimedia data type with applications in such diverse areas as e-commerce, online encyclopaedias, or virtual museums...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
From 1970’s, legged robots have attracted much attention of many researchers. In spite of this, it has been regarded that dynamically stable walking is very difficult to be tac...
ISORC
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents an analysis of the future of Embedded Linux in the PostPC industry. This analysis is carried out by first examining the current forces at work in the PostPC ma...
DIGRA
2003
Springer
14 years 2 months ago
2003
Springer
This paper examines the idea of combining Live Action Role-Playing (LARP) and MMORPG into a hybrid game named Takkar. We developed three versions of Takkar in an iterative fashion...