772 search results - page 88 / 155 » Constructing Visual Models with a Latent Space Approach |
119
click to vote
BPM
2007
Springer
15 years 7 months ago
2007
Springer
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...
143
click to vote
VISUALIZATION
1997
IEEE
15 years 5 months ago
1997
IEEE
Navigation through 3D spaces is required in many interactive graphics and virtual reality applications. We consider the subclass of situations in which a 2D device such as a mouse...
134
click to vote
TEI
2012
ACM
13 years 9 months ago
2012
ACM
Existing 3D sketching methods typically allow the user to draw in empty space which is imprecise and lacks tactile feedback. We introduce a shape-stamping interface where users ca...
129
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
127
click to vote
ICFEM
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...