1583 search results - page 157 / 317 » Lyra: A System Framework in Supporting Multimedia Applicatio... |
167
click to vote
CN
1999
15 years 6 months ago
1999
Powerful servers for computation and storage, high-speed networking resources, and high-performance 3D graphics workstation, which are typically available in scientific research e...
166
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This demonstration will highlight the Designer’s Augmented Reality Toolkit (DART), a system that allows users to easily create augmented reality (AR) experiences. Over the past ...
204
click to vote
TPHOL
2008
IEEE
16 years 26 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
165
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. In the Web environment, rich, diverse sources of heterogeneous and distributed data are ubiquitous. In fact, even the information characterizing a single entity - like, f...
151
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
With the proliferation of mobile devices we witness an increasing demand for supporting collaboration among users working in the field and in the office. A key component for colla...