Sciweavers

10633 search results - page 168 / 2127
» Relating Distributed Objects
Sort
View
MOBICOM
2012
ACM
13 years 4 months ago
MARVEL: multiple antenna based relative vehicle localizer
Access to relative location of nearby vehicles on the local roads or on the freeways is useful for providing critical alerts to the drivers, thereby enhancing their driving experi...
Dong Li, Tarun Bansal, Zhixue Lu, Prasun Sinha
119
Voted
PODC
1999
ACM
15 years 6 months ago
Liveness-Preserving Simulation Relations
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
Paul C. Attie
CHI
2007
ACM
16 years 2 months ago
An extensible platform for the interactive exploration of Fitts' Law and related movement time models
This paper describes a new software platform for the interactive exploration of human performance models such as Fitts' law. The software is written in Java and provides a fl...
Martin J. Schedlbauer
NIPS
1994
15 years 3 months ago
The Electrotonic Transformation: a Tool for Relating Neuronal Form to Function
The spatial distribution and time course of electrical signals in neurons have important theoretical and practical consequences. Because it is difficult to infer how neuronal form...
Nicholas T. Carnevale, Kenneth Y. Tsai, Brenda J. ...
AIR
2005
114views more  AIR 2005»
15 years 1 months ago
Relation Algebras and their Application in Temporal and Spatial Reasoning
Qualitative temporal and spatial reasoning is in many cases based on binary relations such as before, after, starts, contains, contact, part of, and others derived from these by r...
Ivo Düntsch