Sciweavers

2697 search results - page 400 / 540
» Developing Gestural Input
Sort
View
CEC
2007
IEEE
15 years 8 months ago
Topology management in unstructured P2P networks using neural networks
Abstract-- Resource discovery is an essential problem in peerto-peer networks since there is no centralized index in which to look for information about resources. In a pure P2P ne...
Annemari Auvinen, Teemu Keltanen, Mikko Vapa
CHINZ
2007
ACM
15 years 8 months ago
Using a mobile phone for 6 DOF mesh editing
This paper describes how a mobile phone can be used as a six degree of freedom interaction device for 3D mesh editing. Using a video see-through Augmented Reality approach, the mo...
Anders Henrysson, Mark Billinghurst
GLVLSI
2007
IEEE
151views VLSI» more  GLVLSI 2007»
15 years 8 months ago
Hand-in-hand verification of high-level synthesis
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Ma...
ESORICS
2009
Springer
15 years 8 months ago
Declassification with Explicit Reference Points
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
Alexander Lux, Heiko Mantel
HT
2007
ACM
15 years 8 months ago
What is an analogue for the semantic web and why is having one important?
This paper postulates that for the Semantic Web to grow and gain input from fields that will surely benefit it, it needs to develop an analogue that will help people not only unde...
m. c. schraefel