2375 search results - page 189 / 475 » From Remote Objects to Physically Distributed Objects |
135
click to vote
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
This paper proposes a switching hypothesized measurements (SHM) model supporting multimodal probability distributions and presents the application of the model in handling potenti...
123
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a decentralized authorization architecture based on capabilities in which parties are able to exercise full control over their resources or delegate it in an ad-hoc man...
131
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
116
Voted
AAAI
1990
15 years 4 months ago
1990
We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...
132
click to vote
SIGCOMM
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents the design of Mercury, a scalable protocol for supporting multi-attribute rangebased searches. Mercury differs from previous range-based query systems in that...