1847 search results - page 109 / 370 » Computational Science Simulations Based on Web Services |
ERSHOV
2001
Springer
15 years 6 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
145
click to vote
GI
2009
Springer
14 years 11 months ago
2009
Springer
: A framework for virtual reality based training of puncture interventions is presented. The system uses a haptic device with six degrees of freedom (6DOF) to enable realistic forc...
115
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Location-based Social Networks (LSNs) allow users to see where their friends are, to search location-tagged content within their social graph, and to meet others nearby. The rec...
155
Voted
COOPIS
2002
IEEE
15 years 6 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
GI
2004
Springer
15 years 7 months ago
2004
Springer
: Telepathology allows pathologists to acquire, analyze and exchange high quality digital histological images for diagnostic and teaching purposes. Concrete applications in this ar...