4460 search results - page 319 / 892 » Formal methods for interactive systems |
154
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a method for interactive rendering of large outdoor scenes. Complex polygonal plant models and whole plant populations are represented by relatively small sets of point...
182
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
198
click to vote
AMDO
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a new method to simulate deformable volumetric objects interactively using finite elements. With quadratic basis functions and a non-linear strain tensor, we a...
201
Voted
CGF
2008
15 years 6 months ago
2008
We present a GPU accelerated volume ray casting system interactively driving a multi-user light field display. The display, driven by a single programmable GPU, is based on a spec...
203
Voted
BMCBI
2008
15 years 6 months ago
2008
Background: MicroRNAs (miRNAs) are a set of small non-coding RNAs serving as important negative gene regulators. In animals, miRNAs turn down protein translation by binding to the...