5417 search results - page 476 / 1084 » Simulation Optimization: Methods and Applications |
119
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Virtual human simulation integrated into virtual reality applications is mainly used for virtual representation of the user in virtual environment or for interactions between the ...
132
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
152
Voted
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
Recent accelerators such as GPUs achieve better cost-performance and watt-performance ratio, while the range of their application is more limited than general CPUs. Thus heterogen...
138
Voted
VMV
2001
15 years 6 months ago
2001
This paper presents an application for semiautomatic repositioning of bone fractures that allows the merging of several fragments. This application has been developed with regard ...
172
click to vote
VIS
2008
IEEE
16 years 5 months ago
2008
IEEE
The need to examine and manipulate large surface models is commonly found in many science, engineering, and medical applications. On a desktop monitor, however, seeing the whole mo...