9067 search results - page 1787 / 1814 » Adaptive Model Checking |
118
Voted
AIIDE
2006
15 years 3 months ago
2006
Simulation is a common feature in computer entertainment. However, in computer games simulation and story are often kept distinct by interleaving interactive play and cut scenes. ...
131
Voted
CIC
2004
15 years 3 months ago
2004
Overlay topologies are now popular with many emerging peer-to-peer (P2P) systems, to efficiently locate and retrieve information. In contrast, the focus of this work is to use ove...
145
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
An algorithm that discovers the themes, motives and other perceptually significant repeated patterns in a musical work can be used, for example, in a music information retrieval sy...
132
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
This paper presents a method of constructing pre-routed FPGA cores which lays the foundations for a rapid system construction framework for dynamically reconfigurable computing sy...
131
Voted
IADIS
2004
15 years 3 months ago
2004
In the preparation of technology transition, the contextual and alternative definitions of the usability heuristics of multifaceted role of the best practice methodology of Teleco...