Sciweavers

3709 search results - page 298 / 742
» Supporting experimentation with Side-Views
Sort
View
HAPTICS
2009
IEEE
15 years 10 months ago
Efficient object exploration and object presentation in TeleTA, Teleoperation system with Tactile feedback
In order to achieve awareness of collision during teleoperation and to support operator with valuable information (object stiffness and shape), we elaborated approaches to object ...
Dzmitry Tsetserukou, Susumu Tachi
ICASSP
2009
IEEE
15 years 10 months ago
Tampering identification using Empirical Frequency Response
With the widespread popularity of digital images and the presence of easy-to-use image editing software, content integrity can no longer be taken for granted, and there is a stron...
Wei-Hong Chuang, Ashwin Swaminathan, Min Wu
APNOMS
2006
Springer
15 years 10 months ago
An Admission Control and Traffic Engineering Model for Diffserv-MPLS Networks
Abstract. This paper presents a Bandwidth Broker (BB) based admission control and traffic engineering model for Diffserv supported MPLS networks. The proposed model uses a multi-pa...
Haci A. Mantar
CAV
2004
Springer
121views Hardware» more  CAV 2004»
15 years 10 months ago
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
HoonSang Jin, Mohammad Awedh, Fabio Somenzi
CCGRID
2004
IEEE
15 years 10 months ago
Serving queries to multi-resolution datasets on disk-based storage clusters
This paper is concerned with efficient querying of very large multi-resolution datasets on storage and compute clusters. We present a suite of services that support storage, index...
Xi Zhang, Tony Pan, Ümit V. Çataly&uum...