4708 search results - page 162 / 942 » Generating the Structure of Argument |
155
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
148
click to vote
VSGAMES
2010
15 years 4 months ago
2010
— This paper describes a variety of methods that can be used to create realistic, random 3D environments for serious games requiring real-time performance. These include the gene...
221
click to vote
IANDO
2010
15 years 28 days ago
2010
This paper investigates how innovation of ICT based services takes place within existing infrastructures, including the whole network of technology, vendors and customers. Our res...
148
click to vote
DIMVA
2009
15 years 7 months ago
2009
Abstract. This paper introduces a new software polymorphism technique that randomizes program data structure layout. This technique will generate different data structure layouts f...
107
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vec...