8828 search results - page 275 / 1766 » Formal methods in practice |
157
click to vote
TOG
2010
15 years 1 months ago
2010
In this paper, we propose a simple and efficient framework for simulating dispersed bubble flow. Instead of modeling the complex hydrodynamics of numerous small bubbles explicitly...
133
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper describes a course in innovation offered to students at the University of Magdeburg in Germany. The course is based on the premise that idea generation can be viewed as...
188
click to vote
DLOG
2011
14 years 10 months ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
232
click to vote
FSE
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we present new results on the second-round SHA-3 candidate ECHO. We describe a method to construct a collision in the compression function of ECHO-256 reduced to fou...
203
click to vote
TEDU
2012
14 years 2 months ago
2012
This paper takes a look at narrative forms as of yet unexplored in the field of digital interactive storytelling, and proposes methods for how they can be used in engaging ways fo...