5550 search results - page 1059 / 1110 » Different Approaches to Proof Systems |
MICCAI
2002
Springer
15 years 11 months ago
2002
Springer
CT-angiography is a well established medical imaging technique for the detection, evaluation and therapy planning of intracranial aneurysms. Different 3D visualization algorithms s...
ISBI
2002
IEEE
15 years 11 months ago
2002
IEEE
In PET imaging listmode is an alternative for projections to store the acquisition data with more accuracy. The reconstruction starting from the listmode format requires different...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Social bookmarking systems and their emergent information structures, known as folksonomies, are increasingly important data sources for Semantic Web applications. A key question ...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
The run-time binding of web services has been recently put forward in order to support rapid and dynamic web service compositions. With the growing number of alternative web servi...
75
Voted
WWW
2008
ACM
15 years 10 months ago
2008
ACM
Web 2.0 marks a new philosophy where user is the main actor and content producer: users write blogs and comments, they tag, link, and upload photos, pictures, videos, and podcasts...