3828 search results - page 604 / 766 » Proof-Based System Engineering Using a Virtual System Model |
163
click to vote
ALIFE
1999
15 years 4 months ago
1999
An arti cial life entertainment-software product called Creatures was released in Europe in late 1996 and in the United States and Japan in mid-1997. When installed on a domestic c...
219
click to vote
ECEASST
2010
15 years 2 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
152
click to vote
MM
2006
ACM
15 years 11 months ago
2006
ACM
We present a novel, innovative user interface to music repositories. Given an arbitrary collection of digital music files, our system creates a virtual landscape which allows the...
148
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
A data warehouse (DW) provides an information for analytical processing, decision making, and data mining tools. On the one hand, the structure and content of a data warehouse ref...
161
click to vote
IE
2007
15 years 6 months ago
2007
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...