2140 search results - page 161 / 428 » Simulation Issues in Haptics |
130
click to vote
ENTCS
2002
15 years 4 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
136
click to vote
HCI
2009
15 years 2 months ago
2009
This research aims to propose a design management system for helping designer to make arrangement of the furniture in a film shooting studio. The main issue is that furniture has i...
168
click to vote
ICASSP
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, the issue of network topology control in wireless networks using a fully distributed algorithm is considered. Whereas the proposed distributed algorithm is designed...
120
click to vote
JCIT
2010
14 years 11 months ago
2010
An important and fundamental issue in designing structured peer-to-peer networks is the tradeoff between the number of logical links and the number of hops. We present a flexible ...
180
click to vote
ISBI
2011
IEEE
14 years 8 months ago
2011
IEEE
Noise is an important concern in high-angular resolution diffusion imaging studies because it can lead to errors in downstream analyses of white matter structure. To address this ...