13895 search results - page 429 / 2779 » Exploring |
157
click to vote
APN
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents the ComBack method for explicit state space exploration. The ComBack method extends the well-known hash compaction method such that full coverage of the state s...
240
click to vote
INFOVIS
2005
IEEE
16 years 20 days ago
2005
IEEE
We present a system that allows users to interactively explore complex flow scenarios represented as Sankey diagrams. Our system provides an overview of the flow graph and allows ...
162
click to vote
ASM
2005
ASM
16 years 18 days ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
172
click to vote
GECCO
2005
Springer
16 years 18 days ago
2005
Springer
In this paper we investigate the emergence of communication in competitive multi-agent systems. A competitive environment is created with two teams of agents competing in an explo...
156
click to vote
ASPDAC
2004
ACM
16 years 15 days ago
2004
ACM
— In deep-submicron (DSM) technology, minimizing power consumption of a bus is one of the most important design objectives in embedded system-on-chip (SoC) design. In this paper,...