2232 search results - page 330 / 447 » Formal Modeling and Analysis of Organizations |
147
click to vote
ANSS
2006
IEEE
16 years 7 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
183
click to vote
ISMAR
2006
IEEE
16 years 6 days ago
2006
IEEE
With tracking setups becoming increasingly complex, it gets more difficult to find suitable algorithms for tracking, calibration and sensor fusion. A large number of solutions e...
162
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
147
click to vote
GCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exc...
166
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
This essay adopts a formal model of play as semiosis [18] to explore the often dysfunctional role of backstories within computer game design and play. Within this model, backstori...