2261 search results - page 377 / 453 » Relationships Between Models of Concurrency |
148
click to vote
MM
2005
ACM
15 years 12 months ago
2005
ACM
Organum Playtest is an interactive installation in which three players collaboratively navigate through a model of the human voice box, using their voices as a joystick. By asking...
148
click to vote
PASTE
2005
ACM
15 years 12 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
175
click to vote
SMA
2005
ACM
15 years 12 months ago
2005
ACM
We propose a fast and robust method for detecting crest lines on surfaces approximated by dense triangle meshes. The crest lines, salient surface features defined via first- and...
191
click to vote
EMMCVPR
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we consider the problem of color restoration using statistical priors. This is applied to color recovery for underwater images, using an energy minimization formulat...
157
click to vote
GD
2005
Springer
15 years 12 months ago
2005
Springer
Clustered graph is a very useful model for drawing large and complex networks. This paper presents a new method for drawing clustered graphs in three dimensions. The method uses a ...