Sciweavers

755 search results - page 33 / 151
» ideas 2005
Sort
View
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
15 years 3 months ago
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Radu Grosu, Scott A. Smolka
ASAP
2005
IEEE
108views Hardware» more  ASAP 2005»
15 years 3 months ago
Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems
The task of automatic design space exploration of heterogeneous multi-processor systems is often tackled with Evolutionary Algorithms. In this paper, we propose a novel approach i...
Thomas Schlichter, Christian Haubelt, Frank Hannig...
C5
2005
IEEE
15 years 3 months ago
A Collaborative Environment for Users of Advanced Scientific Instruments
The paper proposes a different solution for a virtual collaborative environment for scientific research. The solution is the outcome of a project by Dutch, Swiss and English stude...
Hein Bles, Marco Boom, Laurien Broer van Dijk, Eri...
84
Voted
CIG
2005
IEEE
15 years 3 months ago
Dealing with Parameterized Actions in Behavior Testing of Commercial Computer Games
Abstract- We present a method that enhances evolutionary behavior testing of commercial computer games, as introduced in [CD+04], to deal with parameterized actions. The basic idea...
Jörg Denzinger, Kevin Loose, Darryl Gates, Jo...
CIG
2005
IEEE
15 years 3 months ago
Combining Coaching and Learning to Create Cooperative Character Behavior
Abstract- We present a concept for developing cooperative characters (agents) for computer games that combines coaching by a human with evolutionary learning. The basic idea is to ...
Jörg Denzinger, Chris Winder