2648 search results - page 111 / 530 » Worlds, Models, and KM |
IADIS
2004
13 years 11 months ago
2004
The Internet has impacted our lives in many different ways. In this paper we present an Internet-based automated virtual reality (VR) generator for pain relief of hospitalized bur...
INCDM
2010
Springer
13 years 8 months ago
2010
Springer
Many real world systems can be modeled as networks or graphs. Clustering algorithms that help us to organize and understand these networks are usually referred to as, graph based c...
HAPTICS
2010
IEEE
13 years 8 months ago
2010
IEEE
Interactions with virtual worlds using the sense of touch, called haptic rendering, have natural applications in many domains such as health or industry. For an accurate and realis...
TLDI
2009
ACM
14 years 7 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
FOSSACS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....