355 search results - page 64 / 71 » Aspects of Formal and Graphical Design of a Bus System |
147
click to vote
ACMACE
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
118
Voted
GD
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we study simple families of clustered graphs that are highly unconnected. We start by studying 3-cluster cycles, which are clustered graphs such that the underlying ...
166
click to vote
SIGITE
2004
ACM
15 years 11 months ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...
182
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
183
click to vote
MKM
2009
Springer
16 years 18 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...