1886 search results - page 176 / 378 » Verifying and Validating Simulation Models |
171
click to vote
RSP
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
170
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper presents a novel modeling algorithm that is capable of simultaneously recovering correct shape geometry as well as its unknown topology from arbitrarily complicated dat...
202
click to vote
IHI
2010
15 years 1 months ago
2010
This paper describes a spatial model for healthcare workers' location in a large hospital facility. Such models have many applications in healthcare, such as supporting timea...
185
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Scientific workflows improve the process of scientific experiments by making computations explicit, underscoring data flow, and emphasizing the participation of humans...
165
click to vote
TPHOL
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...