5851 search results - page 154 / 1171 » Coordination as a Direct Process |
147
click to vote
RT
2005
Springer
15 years 10 months ago
2005
Springer
Image-based representations for illumination can capture complex real-world lighting that is difficult to represent in other forms. Current importance sampling strategies for ima...
179
click to vote
GRAPHITE
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents a technique for natural, fingertip-based interaction with virtual objects in Augmented Reality (AR) environments. We use image processing software and finger- ...
130
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
128
click to vote
ESOP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
145
click to vote
ICEIS
2000
IEEE
15 years 9 months ago
2000
IEEE
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...