3828 search results - page 464 / 766 » Proof-Based System Engineering Using a Virtual System Model |
177
click to vote
ERCIM
2007
15 years 6 months ago
2007
sented by abstract mathematical structures, and visualization is used to convert these into pictures. At the core of every simulation is a mathematical model that is evaluated by a...
181
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
1 On the Internet, digitally active small and medium sized enterprises (SME) face numerous security risks. When SMEs join networks, business ideas and malicious activities may inte...
189
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we propose the use of an interactive multi-agent system for the study of rhythm evolution. The aim of the model proposed here is to show to what extent new rhythms em...
178
click to vote
CGF
2002
15 years 6 months ago
2002
The modeling of real scenes is a complex and challenging task for which the use of laser rangefinders is one of the most promising approaches. Unfortunately, in many situations, i...
226
click to vote
VRST
2004
ACM
16 years 8 days ago
2004
ACM
In this paper, we propose a new method for simulating reactive motions for running or walking human figures. The goal is to generate realistic animations of how humans compensate...