8719 search results - page 1417 / 1744 » Visualization of Distributed Processes Using |
137
click to vote
ACIVS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present an algorithm for interpolating the visible portions of a point cloud that are sampled from opaque objects in the environment. Our algorithm projects point clou...
118
click to vote
VRST
2006
ACM
15 years 10 months ago
2006
ACM
Hand-held computing devices are ubiquitous and have become part of our lives these days. Moreover, hand-held devices are also increasingly being equipped with special sensors and ...
133
click to vote
HIP
2005
Springer
15 years 10 months ago
2005
Springer
Human interaction proofs (HIPs) have become common place on the internet due to their effectiveness in deterring automated abuse of online services intended for humans. However, th...
139
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
182
click to vote
FOSSACS
2001
Springer
15 years 9 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...