21876 search results - page 3906 / 4376 » Computer game-flow design |
170
Voted
AMR
2006
Springer
15 years 10 months ago
2006
Springer
A novel and general criterion for image similarity validation is introduced using the so-called a contrario decision framework. It is mathematically proved that it is possible to c...
177
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
208
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
193
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Many of the documents in large text collections are duplicates and versions of each other. In recent research, we developed new methods for finding such duplicates; however, as the...
151
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
: Given is the following "creature's exploration problem": n creatures are moving around in an unknown environment in order to visit all cells in shortest time. This...