977 search results - page 158 / 196 » Evolutionary computation: a unified approach |
100
click to vote
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
127
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
162
click to vote
ISBMS
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we present a physically-based simulation framework to build up real-time Minimally invasive surgery (MIS) simulators using pointbased techniques. In our framework, s...
127
click to vote
WSC
2004
15 years 2 months ago
2004
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...
113
click to vote
WSCG
2004
15 years 2 months ago
2004
3D design software has since long employed graphics chips for low-quality real-time previewing. But their dramatically increased computing power now paves the way to accelerate th...