623 search results - page 38 / 125 » Relational Parametricity for Control Considered as a Computa... |
139
click to vote
ICRA
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract— In this paper, two problems related to the simulation of virtual environments for haptic systems are considered. The first problem is how to simulate, in discrete time...
193
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Given a set of n query points in a general metric space, a metricspace skyline (MSS) query asks what are the closest points to all these query points in the database. Here, consid...
132
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
A goal of human-robot interaction is to allow one user to operate multiple robots simultaneously. In such a scenario the robots provide leverage to the user's attention. The ...
132
click to vote
ISBI
2006
IEEE
16 years 6 days ago
2006
IEEE
We compare various popular methods available for projection and backprojection in CT. Assuming linear rays and a simple density integration along them, we consider both line- and ...
187
click to vote
ISF
2008
15 years 6 months ago
2008
Abstract Many security problems are caused by vulnerabilities hidden in enterprise computer networks. It is very important for system administrators to have knowledge about the sec...