1280 search results - page 80 / 256 » Soft Typing with Conditional Types |
VRST
2010
ACM
13 years 7 months ago
2010
ACM
Enabling users to accurately perceive the correct depth of occluded objects is one of the major challenges in user interfaces for Mixed Reality (MR). Therefore, several visualizat...
IJBC
2010
13 years 4 months ago
2010
In this paper, we numerically show that the dynamics of the HIV system is sensitive to both the initial condition and the system parameters. These phenomena imply that the system ...
INFOCOM
2011
IEEE
13 years 17 days ago
2011
IEEE
Abstract—Due to the emergence of Cognitive Radio, a special type of heterogeneous networks attracts increasing interest recently, in which a secondary network composed of cogniti...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
Annotation is the process of supplementing data with additional information that was not part of the actual observation, but reflects post-facto comments and associations made by a...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
Web services help in achieving increased automation across organizational boundaries. In this paper, we present an approach for annotating WSDL documents with semantically rich de...